C4graphGraph forms for C4 [ 240, 133 ] = PL(CS(PS(6,5;2)[10^6],1))

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

On this page are computer-accessible forms for the graph C4[ 240, 133 ] = PL(CS(PS(6,5;2)[10^6],1)).

(I) Following is a form readable by MAGMA:

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

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

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

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

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