C4graphGraph forms for C4 [ 240, 135 ] = PL(CS(Pr_10(1,1,2,2)[3^20],1))

[Home] [Table] [Glossary] [Families]

On this page are computer-accessible forms for the graph C4[ 240, 135 ] = PL(CS(Pr_10(1,1,2,2)[3^20],1)).

(I) Following is a form readable by MAGMA:

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

(II) A more general form is to represent the graph as the orbit of {80, 127} under the group generated by the following permutations:

a: (2, 4)(5, 39)(6, 40)(7, 37)(8, 38)(9, 33)(10, 36)(11, 35)(12, 34)(13, 29)(14, 32)(15, 31)(16, 30)(17, 25)(18, 28)(19, 27)(20, 26)(22, 24)(41, 80)(42, 79)(43, 78)(44, 77)(45, 73)(46, 74)(47, 75)(48, 76)(49, 69)(50, 70)(51, 71)(52, 72)(53, 65)(54, 66)(55, 67)(56, 68)(57, 61)(58, 62)(59, 63)(60, 64)(81, 87)(82, 86)(83, 85)(84, 88)(89, 118)(90, 119)(91, 120)(92, 117)(93, 114)(94, 115)(95, 116)(96, 113)(97, 109)(98, 112)(99, 111)(100, 110)(101, 105)(102, 108)(103, 107)(104, 106)(121, 130)(122, 131)(123, 132)(124, 127)(125, 128)(126, 129)(133, 180)(134, 179)(135, 178)(136, 177)(137, 176)(138, 175)(139, 174)(140, 173)(141, 172)(142, 171)(143, 170)(144, 169)(145, 168)(146, 167)(147, 166)(148, 165)(149, 164)(150, 163)(151, 162)(152, 161)(153, 160)(154, 159)(155, 158)(156, 157)(181, 235)(182, 236)(183, 237)(184, 238)(185, 239)(186, 240)(187, 229)(188, 230)(189, 231)(190, 232)(191, 233)(192, 234)(193, 224)(194, 223)(195, 228)(196, 227)(197, 226)(198, 225)(199, 218)(200, 217)(201, 222)(202, 221)(203, 220)(204, 219)(205, 212)(206, 211)(207, 216)(208, 215)(209, 214)(210, 213)
b: (33, 34)(35, 36)(37, 38)(39, 40)(73, 75)(74, 76)(81, 82)(83, 84)(113, 114)(115, 116)(175, 178)(176, 179)(177, 180)(229, 232)(230, 233)(231, 234)
c: (65, 66)(67, 68)(105, 106)(107, 108)(113, 116)(114, 115)(217, 220)(218, 221)(219, 222)
d: (25, 26)(27, 28)(29, 32)(30, 31)(65, 67)(66, 68)(105, 106)(107, 108)(113, 116)(114, 115)(163, 166)(164, 167)(165, 168)(217, 220)(218, 221)(219, 222)
e: (2, 4)(5, 77, 6, 78)(7, 79, 8, 80)(9, 117, 12, 118)(10, 120, 11, 119)(13, 112, 14, 109)(15, 110, 16, 111)(17, 64, 20, 63)(18, 61, 19, 62)(22, 24)(25, 60)(26, 59)(27, 58)(28, 57)(29, 98)(30, 99)(31, 100)(32, 97)(33, 89, 34, 92)(35, 91, 36, 90)(37, 41, 38, 42)(39, 43, 40, 44)(45, 85, 48, 86)(46, 88, 47, 87)(49, 69)(50, 72)(51, 71)(52, 70)(53, 101, 56, 102)(54, 104, 55, 103)(65, 105)(66, 106)(67, 107)(68, 108)(73, 81, 76, 84)(74, 82, 75, 83)(93, 94)(95, 96)(113, 115)(114, 116)(121, 131)(122, 130)(123, 129)(124, 128)(125, 127)(126, 132)(133, 236, 136, 239)(134, 235, 137, 238)(135, 240, 138, 237)(139, 223)(140, 228)(141, 227)(142, 226)(143, 225)(144, 224)(145, 213, 148, 216)(146, 214, 149, 211)(147, 215, 150, 212)(151, 159)(152, 160)(153, 161)(154, 162)(155, 157)(156, 158)(163, 205)(164, 206)(165, 207)(166, 208)(167, 209)(168, 210)(169, 193)(170, 198)(171, 197)(172, 196)(173, 195)(174, 194)(175, 186, 178, 183)(176, 181, 179, 184)(177, 182, 180, 185)(187, 192)(188, 191)(189, 190)(200, 204)(201, 203)(217, 219)(220, 222)(229, 231)(232, 234)
f: (21, 22)(23, 24)(25, 28)(26, 27)(61, 64)(62, 63)(157, 160)(158, 161)(159, 162)
g: (29, 30)(31, 32)(33, 36)(34, 35)(69, 71)(70, 72)(109, 110)(111, 112)(117, 120)(118, 119)(169, 172)(170, 173)(171, 174)(223, 226)(224, 227)(225, 228)
h: (53, 54)(55, 56)(93, 94)(95, 96)(101, 104)(102, 103)(199, 202)(200, 203)(201, 204)
m: (45, 46)(47, 48)(85, 88)(86, 87)(93, 96)(94, 95)(187, 190)(188, 191)(189, 192)
n1: (17, 18)(19, 20)(21, 23)(22, 24)(25, 28)(26, 27)(57, 60)(58, 59)(61, 64)(62, 63)(151, 154)(152, 155)(153, 156)(157, 160)(158, 161)(159, 162)
a1: (61, 62)(63, 64)(101, 102)(103, 104)(109, 112)(110, 111)(211, 214)(212, 215)(213, 216)
b1: (49, 50)(51, 52)(89, 90)(91, 92)(97, 100)(98, 99)(193, 196)(194, 197)(195, 198)
c1: (1, 5, 12, 16, 20, 24, 28, 32, 36, 37, 3, 7, 10, 14, 18, 22, 26, 30, 34, 39)(2, 8, 9, 13, 17, 21, 25, 29, 33, 38, 4, 6, 11, 15, 19, 23, 27, 31, 35, 40)(41, 48, 52, 56, 60, 64, 68, 72, 76, 80, 43, 46, 50, 54, 58, 62, 66, 70, 74, 78)(42, 47, 51, 55, 59, 63, 67, 71, 75, 79, 44, 45, 49, 53, 57, 61, 65, 69, 73, 77)(81, 85, 91, 95, 99, 103, 107, 111, 116, 120, 83, 87, 89, 93, 97, 101, 105, 109, 114, 118)(82, 86, 90, 94, 98, 102, 106, 110, 113, 117, 84, 88, 92, 96, 100, 104, 108, 112, 115, 119)(121, 136, 142, 148, 154, 160, 166, 172, 178, 129, 124, 133, 139, 145, 151, 157, 163, 169, 175, 132)(122, 137, 143, 149, 155, 161, 167, 173, 179, 128, 125, 134, 140, 146, 152, 158, 164, 170, 176, 131)(123, 138, 144, 150, 156, 162, 168, 174, 180, 127, 126, 135, 141, 147, 153, 159, 165, 171, 177, 130)(181, 187, 193, 199, 205, 211, 217, 223, 230, 236, 184, 190, 196, 202, 208, 214, 220, 226, 233, 239)(182, 188, 194, 200, 206, 212, 218, 224, 229, 235, 185, 191, 197, 203, 209, 215, 221, 227, 232, 238)(183, 189, 195, 201, 207, 213, 219, 225, 234, 240, 186, 192, 198, 204, 210, 216, 222, 228, 231, 237)
d1: (77, 78)(79, 80)(85, 86)(87, 88)(117, 118)(119, 120)(235, 238)(236, 239)(237, 240)
e1: (73, 74)(75, 76)(81, 82)(83, 84)(113, 114)(115, 116)(229, 232)(230, 233)(231, 234)
f1: (57, 58)(59, 60)(97, 98)(99, 100)(105, 108)(106, 107)(205, 208)(206, 209)(207, 210)
g1: (5, 6)(7, 8)(9, 12)(10, 11)(45, 47)(46, 48)(85, 88)(86, 87)(93, 96)(94, 95)(133, 136)(134, 137)(135, 138)(187, 190)(188, 191)(189, 192)
h1: (41, 42)(43, 44)(81, 84)(82, 83)(89, 92)(90, 91)(181, 184)(182, 185)(183, 186)
m1: (1, 2)(3, 4)(37, 40)(38, 39)(77, 80)(78, 79)(127, 130)(128, 131)(129, 132)
n2: (9, 10)(11, 12)(13, 16)(14, 15)(49, 51)(50, 52)(89, 90)(91, 92)(97, 100)(98, 99)(139, 142)(140, 143)(141, 144)(193, 196)(194, 197)(195, 198)
a2: (13, 14)(15, 16)(17, 20)(18, 19)(53, 55)(54, 56)(93, 94)(95, 96)(101, 104)(102, 103)(145, 148)(146, 149)(147, 150)(199, 202)(200, 203)(201, 204)
b2: (69, 70)(71, 72)(109, 110)(111, 112)(117, 120)(118, 119)(223, 226)(224, 227)(225, 228)

(III) Last is Groups&Graphs. Copy everything between (not including) the lines of asterisks into a plain text file and save it as "graph.txt". Then launch G&G (Groups&Graphs) and select Read Text from the File menu.

**************

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

**************