C4graphGraph forms for C4 [ 256, 80 ] = UG(ATD[256,152])

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

On this page are computer-accessible forms for the graph C4[ 256, 80 ] = UG(ATD[256,152]).

(I) Following is a form readable by MAGMA:

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

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

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

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

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