C4graphGraph forms for C4 [ 240, 151 ] = PL(CS(Pr_10(2,3,1,4)[5^12],1))

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

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

(I) Following is a form readable by MAGMA:

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

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

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

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

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