Graph forms
for C4 [ 504, 27 ] = PS(18,56;17)
[Home] [Table] [Glossary]
[Families]
On this page are computer-accessible forms for the graph C4[ 504, 27 ] =
PS(18,56;17).
(I) Following is a form readable by MAGMA:
g:=Graph<504|{ {81, 85}, {419, 423}, {418, 422}, {417, 421}, {82, 86}, {83, 87},
{249, 253}, {250, 254}, {251, 255}, {112, 120}, {448, 456}, {273, 281}, {274,
282}, {275, 283}, {276, 284}, {277, 285}, {278, 286}, {279, 287}, {48, 57},
{224, 233}, {50, 59}, {52, 61}, {54, 63}, {384, 393}, {386, 395}, {388, 397},
{390, 399}, {49, 58}, {53, 62}, {385, 394}, {389, 398}, {84, 88}, {467, 479},
{466, 478}, {465, 477}, {420, 424}, {163, 175}, {162, 174}, {161, 173}, {160,
172}, {129, 141}, {130, 142}, {131, 143}, {304, 316}, {305, 317}, {306, 318},
{307, 319}, {336, 348}, {51, 60}, {464, 479}, {128, 143}, {304, 319}, {387,
396}, {129, 144}, {463, 478}, {168, 185}, {166, 183}, {164, 181}, {162, 179},
{160, 177}, {139, 154}, {137, 152}, {135, 150}, {131, 146}, {133, 148}, {295,
310}, {297, 312}, {299, 314}, {301, 316}, {303, 318}, {320, 337}, {322, 339},
{324, 341}, {326, 343}, {328, 345}, {330, 347}, {332, 349}, {334, 351}, {130,
145}, {462, 477}, {165, 182}, {161, 178}, {138, 153}, {134, 149}, {294, 309},
{298, 313}, {302, 317}, {321, 338}, {325, 342}, {329, 346}, {333, 350}, {40,
60}, {224, 244}, {167, 179}, {166, 178}, {165, 177}, {164, 176}, {140, 152},
{135, 147}, {41, 61}, {42, 62}, {43, 63}, {132, 144}, {133, 145}, {134, 146},
{300, 312}, {301, 313}, {302, 314}, {303, 315}, {325, 337}, {326, 338}, {327,
339}, {332, 344}, {333, 345}, {334, 346}, {335, 347}, {384, 404}, {385, 405},
{386, 406}, {387, 407}, {392, 412}, {96, 117}, {448, 469}, {98, 119}, {104,
125}, {106, 127}, {264, 285}, {266, 287}, {64, 87}, {416, 439}, {163, 180},
{140, 155}, {72, 95}, {97, 118}, {105, 126}, {132, 147}, {232, 255}, {265, 286},
{300, 315}, {323, 340}, {331, 348}, {391, 400}, {105, 113}, {106, 114}, {107,
115}, {108, 116}, {109, 117}, {110, 118}, {111, 119}, {65, 88}, {419, 442},
{417, 440}, {67, 90}, {69, 92}, {71, 94}, {231, 254}, {392, 401}, {4, 31}, {418,
441}, {196, 223}, {192, 219}, {66, 89}, {70, 93}, {99, 120}, {103, 124}, {230,
253}, {263, 284}, {352, 379}, {356, 383}, {1, 29}, {195, 223}, {194, 222}, {193,
221}, {192, 220}, {168, 180}, {139, 151}, {138, 150}, {137, 149}, {136, 148},
{2, 30}, {3, 31}, {37, 57}, {38, 58}, {39, 59}, {297, 309}, {298, 310}, {299,
311}, {328, 340}, {329, 341}, {330, 342}, {331, 343}, {352, 380}, {353, 381},
{354, 382}, {355, 383}, {388, 408}, {389, 409}, {390, 410}, {391, 411}, {3, 30},
{195, 222}, {193, 220}, {100, 121}, {102, 123}, {260, 281}, {262, 283}, {353,
380}, {355, 382}, {2, 29}, {420, 443}, {194, 221}, {167, 184}, {136, 151}, {68,
91}, {101, 122}, {261, 282}, {296, 311}, {327, 344}, {354, 381}, {64, 96}, {415,
447}, {414, 446}, {413, 445}, {412, 444}, {411, 443}, {410, 442}, {409, 441},
{408, 440}, {407, 439}, {406, 438}, {405, 437}, {404, 436}, {403, 435}, {402,
434}, {401, 433}, {400, 432}, {399, 431}, {398, 430}, {397, 429}, {396, 428},
{395, 427}, {65, 97}, {66, 98}, {67, 99}, {68, 100}, {69, 101}, {70, 102}, {71,
103}, {72, 104}, {73, 105}, {74, 106}, {75, 107}, {76, 108}, {77, 109}, {78,
110}, {79, 111}, {80, 112}, {393, 425}, {394, 426}, {4, 32}, {196, 224}, {5,
33}, {6, 34}, {7, 35}, {12, 40}, {13, 41}, {14, 42}, {15, 43}, {20, 48}, {21,
49}, {22, 50}, {23, 51}, {28, 56}, {88, 124}, {89, 125}, {90, 126}, {91, 127},
{256, 292}, {257, 293}, {258, 294}, {259, 295}, {264, 300}, {265, 301}, {266,
302}, {267, 303}, {272, 308}, {340, 368}, {341, 369}, {342, 370}, {343, 371},
{348, 376}, {349, 377}, {350, 378}, {351, 379}, {5, 32}, {210, 247}, {208, 245},
{202, 239}, {200, 237}, {7, 34}, {13, 40}, {15, 42}, {21, 48}, {23, 50}, {341,
368}, {343, 370}, {349, 376}, {351, 378}, {6, 33}, {209, 246}, {201, 238}, {14,
41}, {22, 49}, {342, 369}, {350, 377}, {128, 168}, {464, 504}, {455, 495}, {454,
494}, {453, 493}, {452, 492}, {451, 491}, {450, 490}, {449, 489}, {151, 191},
{150, 190}, {149, 189}, {148, 188}, {147, 187}, {146, 186}, {145, 185}, {144,
184}, {320, 360}, {321, 361}, {322, 362}, {323, 363}, {324, 364}, {73, 96},
{415, 438}, {413, 436}, {411, 434}, {409, 432}, {399, 422}, {75, 98}, {77, 100},
{79, 102}, {8, 35}, {452, 495}, {414, 437}, {410, 433}, {398, 421}, {215, 252},
{211, 248}, {199, 236}, {12, 39}, {24, 51}, {28, 55}, {74, 97}, {78, 101}, {95,
116}, {267, 288}, {271, 292}, {344, 371}, {348, 375}, {8, 36}, {223, 243}, {222,
242}, {221, 241}, {220, 240}, {207, 227}, {206, 226}, {205, 225}, {9, 37}, {10,
38}, {11, 39}, {24, 52}, {25, 53}, {26, 54}, {27, 55}, {85, 121}, {86, 122},
{87, 123}, {260, 296}, {261, 297}, {262, 298}, {263, 299}, {344, 372}, {345,
373}, {346, 374}, {347, 375}, {9, 36}, {451, 494}, {449, 492}, {214, 251}, {212,
249}, {198, 235}, {146, 191}, {144, 189}, {11, 38}, {25, 52}, {27, 54}, {92,
113}, {94, 115}, {268, 289}, {270, 291}, {345, 372}, {347, 374}, {10, 37}, {450,
493}, {412, 435}, {213, 250}, {197, 234}, {159, 176}, {145, 190}, {26, 53}, {76,
99}, {93, 114}, {269, 290}, {335, 352}, {346, 373}, {197, 245}, {204, 252},
{203, 251}, {202, 250}, {201, 249}, {200, 248}, {199, 247}, {198, 246}, {152,
169}, {475, 490}, {473, 488}, {471, 486}, {469, 484}, {467, 482}, {465, 480},
{158, 175}, {156, 173}, {154, 171}, {256, 305}, {258, 307}, {336, 353}, {143,
188}, {474, 489}, {470, 485}, {466, 481}, {396, 447}, {157, 174}, {153, 170},
{257, 306}, {157, 169}, {476, 488}, {471, 483}, {470, 482}, {469, 481}, {468,
480}, {219, 239}, {218, 238}, {217, 237}, {216, 236}, {211, 231}, {210, 230},
{209, 229}, {208, 228}, {159, 171}, {158, 170}, {142, 187}, {461, 504}, {455,
498}, {453, 496}, {395, 446}, {272, 293}, {274, 295}, {280, 301}, {393, 444},
{80, 103}, {476, 491}, {468, 483}, {454, 497}, {408, 431}, {400, 423}, {394,
445}, {223, 232}, {155, 172}, {141, 186}, {259, 308}, {273, 294}, {141, 181},
{463, 503}, {462, 502}, {461, 501}, {460, 500}, {459, 499}, {458, 498}, {457,
497}, {456, 496}, {143, 183}, {142, 182}, {280, 288}, {1, 56}, {407, 430}, {405,
428}, {403, 426}, {401, 424}, {222, 231}, {220, 229}, {218, 227}, {216, 225},
{81, 104}, {83, 106}, {16, 43}, {460, 503}, {456, 499}, {406, 429}, {402, 425},
{221, 230}, {217, 226}, {207, 244}, {203, 240}, {20, 47}, {82, 105}, {275, 296},
{279, 300}, {340, 367}, {16, 44}, {475, 487}, {474, 486}, {473, 485}, {472,
484}, {215, 235}, {214, 234}, {213, 233}, {212, 232}, {17, 45}, {18, 46}, {19,
47}, {268, 304}, {269, 305}, {270, 306}, {271, 307}, {337, 365}, {338, 366},
{339, 367}, {17, 44}, {459, 502}, {457, 500}, {206, 243}, {204, 241}, {19, 46},
{276, 297}, {278, 299}, {339, 366}, {18, 45}, {472, 487}, {458, 501}, {404,
427}, {219, 228}, {205, 242}, {84, 107}, {277, 298}, {338, 365}, {169, 224},
{61, 112}, {397, 448}, {29, 77}, {30, 78}, {31, 79}, {60, 111}, {151, 196},
{147, 192}, {311, 356}, {315, 360}, {319, 364}, {57, 108}, {150, 195}, {148,
193}, {59, 110}, {285, 328}, {287, 330}, {310, 355}, {316, 361}, {318, 363},
{58, 109}, {149, 194}, {286, 329}, {309, 354}, {317, 362}, {152, 192}, {156,
196}, {155, 195}, {154, 194}, {153, 193}, {281, 321}, {282, 322}, {283, 323},
{284, 324}, {285, 325}, {286, 326}, {287, 327}, {312, 352}, {313, 353}, {314,
354}, {315, 355}, {316, 356}, {317, 357}, {318, 358}, {319, 359}, {31, 68},
{284, 327}, {30, 67}, {281, 324}, {283, 326}, {312, 357}, {314, 359}, {29, 66},
{282, 325}, {313, 358}, {57, 89}, {416, 448}, {58, 90}, {59, 91}, {60, 92}, {61,
93}, {62, 94}, {63, 95}, {172, 200}, {440, 476}, {435, 471}, {434, 470}, {433,
469}, {432, 468}, {427, 463}, {426, 462}, {425, 461}, {424, 460}, {191, 219},
{190, 218}, {189, 217}, {188, 216}, {183, 211}, {182, 210}, {181, 209}, {180,
208}, {175, 203}, {174, 202}, {173, 201}, {32, 69}, {191, 218}, {189, 216},
{183, 210}, {181, 208}, {175, 202}, {173, 200}, {34, 71}, {40, 77}, {42, 79},
{33, 70}, {190, 217}, {182, 209}, {174, 201}, {41, 78}, {288, 328}, {289, 329},
{290, 330}, {291, 331}, {292, 332}, {293, 333}, {294, 334}, {295, 335}, {309,
349}, {310, 350}, {311, 351}, {63, 86}, {35, 72}, {447, 468}, {443, 464}, {431,
452}, {188, 215}, {184, 211}, {172, 199}, {39, 76}, {62, 85}, {288, 331}, {292,
335}, {44, 64}, {439, 475}, {438, 474}, {437, 473}, {436, 472}, {423, 459},
{422, 458}, {421, 457}, {187, 215}, {186, 214}, {185, 213}, {184, 212}, {171,
199}, {170, 198}, {169, 197}, {45, 65}, {46, 66}, {47, 67}, {36, 73}, {446,
467}, {444, 465}, {430, 451}, {428, 449}, {187, 214}, {185, 212}, {171, 198},
{38, 75}, {289, 332}, {291, 334}, {37, 74}, {445, 466}, {429, 450}, {186, 213},
{170, 197}, {290, 333}, {32, 80}, {33, 81}, {34, 82}, {35, 83}, {36, 84}, {305,
320}, {426, 475}, {424, 473}, {422, 471}, {307, 322}, {306, 321}, {425, 474},
{421, 470}, {48, 68}, {49, 69}, {50, 70}, {51, 71}, {56, 76}, {308, 320}, {293,
336}, {442, 463}, {440, 461}, {434, 455}, {432, 453}, {55, 64}, {441, 462},
{433, 454}, {427, 476}, {308, 323}, {296, 336}, {447, 455}, {446, 454}, {445,
453}, {444, 452}, {443, 451}, {442, 450}, {441, 449}, {56, 65}, {43, 80}, {439,
460}, {435, 456}, {180, 207}, {176, 203}, {47, 84}, {52, 72}, {431, 467}, {430,
466}, {429, 465}, {428, 464}, {179, 207}, {178, 206}, {177, 205}, {176, 204},
{53, 73}, {54, 74}, {55, 75}, {44, 81}, {438, 459}, {436, 457}, {179, 206},
{177, 204}, {46, 83}, {45, 82}, {437, 458}, {423, 472}, {178, 205}, {368, 416},
{369, 417}, {370, 418}, {371, 419}, {372, 420}, {86, 135}, {88, 137}, {90, 139},
{85, 134}, {89, 138}, {117, 160}, {119, 162}, {125, 168}, {91, 140}, {118, 161},
{120, 160}, {121, 161}, {122, 162}, {123, 163}, {124, 164}, {125, 165}, {126,
166}, {127, 167}, {337, 392}, {120, 163}, {124, 167}, {379, 416}, {383, 420},
{92, 128}, {93, 129}, {94, 130}, {95, 131}, {121, 164}, {123, 166}, {380, 417},
{382, 419}, {87, 136}, {122, 165}, {381, 418}, {96, 132}, {97, 133}, {98, 134},
{99, 135}, {104, 140}, {356, 384}, {357, 385}, {358, 386}, {359, 387}, {364,
392}, {357, 384}, {359, 386}, {368, 405}, {370, 407}, {376, 413}, {378, 415},
{358, 385}, {369, 406}, {377, 414}, {113, 153}, {114, 154}, {115, 155}, {116,
156}, {117, 157}, {118, 158}, {119, 159}, {107, 128}, {111, 132}, {116, 159},
{360, 387}, {364, 391}, {371, 408}, {375, 412}, {100, 136}, {101, 137}, {102,
138}, {103, 139}, {360, 388}, {361, 389}, {362, 390}, {363, 391}, {380, 400},
{381, 401}, {382, 402}, {383, 403}, {108, 129}, {110, 131}, {113, 156}, {115,
158}, {361, 388}, {363, 390}, {372, 409}, {374, 411}, {109, 130}, {114, 157},
{362, 389}, {373, 410}, {365, 413}, {366, 414}, {367, 415}, {127, 142}, {126,
141}, {376, 396}, {377, 397}, {378, 398}, {379, 399}, {112, 133}, {367, 404},
{373, 393}, {374, 394}, {375, 395}, {366, 403}, {365, 402}, {20, 479}, {19,
478}, {18, 477}, {255, 304}, {13, 477}, {14, 478}, {15, 479}, {254, 303}, {253,
302}, {253, 289}, {254, 290}, {255, 291}, {225, 257}, {227, 259}, {226, 258},
{228, 260}, {229, 261}, {230, 262}, {231, 263}, {232, 264}, {233, 265}, {234,
266}, {235, 267}, {236, 268}, {237, 269}, {238, 270}, {239, 271}, {240, 272},
{241, 273}, {242, 274}, {243, 275}, {244, 276}, {245, 277}, {246, 278}, {247,
279}, {248, 280}, {8, 495}, {16, 503}, {1, 488}, {3, 490}, {5, 492}, {7, 494},
{17, 504}, {233, 256}, {235, 258}, {237, 260}, {239, 262}, {249, 272}, {251,
274}, {2, 489}, {6, 493}, {234, 257}, {238, 261}, {250, 273}, {1, 493}, {2,
494}, {3, 495}, {4, 491}, {236, 259}, {252, 275}, {16, 480}, {17, 481}, {18,
482}, {19, 483}, {20, 484}, {21, 485}, {22, 486}, {23, 487}, {24, 488}, {25,
489}, {26, 490}, {27, 491}, {28, 492}, {228, 279}, {4, 496}, {5, 497}, {6, 498},
{7, 499}, {12, 504}, {21, 480}, {227, 278}, {225, 276}, {23, 482}, {22, 481},
{226, 277}, {240, 263}, {248, 271}, {9, 496}, {11, 498}, {13, 500}, {15, 502},
{241, 264}, {243, 266}, {245, 268}, {247, 270}, {10, 497}, {14, 501}, {24, 483},
{28, 487}, {242, 265}, {246, 269}, {8, 500}, {9, 501}, {10, 502}, {11, 503},
{252, 256}, {25, 484}, {27, 486}, {229, 280}, {12, 499}, {26, 485}, {244, 267}
}>;
(II) A more general form is to represent the graph as the orbit of {81, 85}
under the group generated by the following permutations:
a: (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, 80, 81,
82, 83, 84)(85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100,
101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112)(113, 114, 115, 116,
117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132,
133, 134, 135, 136, 137, 138, 139, 140)(141, 142, 143, 144, 145, 146, 147, 148,
149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164,
165, 166, 167, 168)(169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180,
181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195,
196)(197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211,
212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224)(225, 226, 227,
228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243,
244, 245, 246, 247, 248, 249, 250, 251, 252)(253, 254, 255, 256, 257, 258, 259,
260, 261, 262, 263, 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, 275,
276, 277, 278, 279, 280)(281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291,
292, 293, 294, 295, 296, 297, 298, 299, 300, 301, 302, 303, 304, 305, 306, 307,
308)(309, 310, 311, 312, 313, 314, 315, 316, 317, 318, 319, 320, 321, 322, 323,
324, 325, 326, 327, 328, 329, 330, 331, 332, 333, 334, 335, 336)(337, 338, 339,
340, 341, 342, 343, 344, 345, 346, 347, 348, 349, 350, 351, 352, 353, 354, 355,
356, 357, 358, 359, 360, 361, 362, 363, 364)(365, 366, 367, 368, 369, 370, 371,
372, 373, 374, 375, 376, 377, 378, 379, 380, 381, 382, 383, 384, 385, 386, 387,
388, 389, 390, 391, 392)(393, 394, 395, 396, 397, 398, 399, 400, 401, 402, 403,
404, 405, 406, 407, 408, 409, 410, 411, 412, 413, 414, 415, 416, 417, 418, 419,
420)(421, 422, 423, 424, 425, 426, 427, 428, 429, 430, 431, 432, 433, 434, 435,
436, 437, 438, 439, 440, 441, 442, 443, 444, 445, 446, 447, 448)(449, 450, 451,
452, 453, 454, 455, 456, 457, 458, 459, 460, 461, 462, 463, 464, 465, 466, 467,
468, 469, 470, 471, 472, 473, 474, 475, 476)(477, 478, 479, 480, 481, 482, 483,
484, 485, 486, 487, 488, 489, 490, 491, 492, 493, 494, 495, 496, 497, 498, 499,
500, 501, 502, 503, 504) (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 **************
b: (2, 28)(3, 27)(4, 26)(5, 25)(6, 24)(7, 23)(8, 22)(9, 21)(10, 20)(11, 19)(12,
18)(13, 17)(14, 16)(29, 56)(30, 55)(31, 54)(32, 53)(33, 52)(34, 51)(35, 50)(36,
49)(37, 48)(38, 47)(39, 46)(40, 45)(41, 44)(42, 43)(58, 84)(59, 83)(60, 82)(61,
81)(62, 80)(63, 79)(64, 78)(65, 77)(66, 76)(67, 75)(68, 74)(69, 73)(70, 72)(85,
112)(86, 111)(87, 110)(88, 109)(89, 108)(90, 107)(91, 106)(92, 105)(93, 104)(94,
103)(95, 102)(96, 101)(97, 100)(98, 99)(114, 140)(115, 139)(116, 138)(117,
137)(118, 136)(119, 135)(120, 134)(121, 133)(122, 132)(123, 131)(124, 130)(125,
129)(126, 128)(141, 168)(142, 167)(143, 166)(144, 165)(145, 164)(146, 163)(147,
162)(148, 161)(149, 160)(150, 159)(151, 158)(152, 157)(153, 156)(154, 155)(170,
196)(171, 195)(172, 194)(173, 193)(174, 192)(175, 191)(176, 190)(177, 189)(178,
188)(179, 187)(180, 186)(181, 185)(182, 184)(197, 224)(198, 223)(199, 222)(200,
221)(201, 220)(202, 219)(203, 218)(204, 217)(205, 216)(206, 215)(207, 214)(208,
213)(209, 212)(210, 211)(226, 252)(227, 251)(228, 250)(229, 249)(230, 248)(231,
247)(232, 246)(233, 245)(234, 244)(235, 243)(236, 242)(237, 241)(238, 240)(253,
280)(254, 279)(255, 278)(256, 277)(257, 276)(258, 275)(259, 274)(260, 273)(261,
272)(262, 271)(263, 270)(264, 269)(265, 268)(266, 267)(282, 308)(283, 307)(284,
306)(285, 305)(286, 304)(287, 303)(288, 302)(289, 301)(290, 300)(291, 299)(292,
298)(293, 297)(294, 296)(309, 336)(310, 335)(311, 334)(312, 333)(313, 332)(314,
331)(315, 330)(316, 329)(317, 328)(318, 327)(319, 326)(320, 325)(321, 324)(322,
323)(338, 364)(339, 363)(340, 362)(341, 361)(342, 360)(343, 359)(344, 358)(345,
357)(346, 356)(347, 355)(348, 354)(349, 353)(350, 352)(365, 392)(366, 391)(367,
390)(368, 389)(369, 388)(370, 387)(371, 386)(372, 385)(373, 384)(374, 383)(375,
382)(376, 381)(377, 380)(378, 379)(394, 420)(395, 419)(396, 418)(397, 417)(398,
416)(399, 415)(400, 414)(401, 413)(402, 412)(403, 411)(404, 410)(405, 409)(406,
408)(421, 448)(422, 447)(423, 446)(424, 445)(425, 444)(426, 443)(427, 442)(428,
441)(429, 440)(430, 439)(431, 438)(432, 437)(433, 436)(434, 435)(450, 476)(451,
475)(452, 474)(453, 473)(454, 472)(455, 471)(456, 470)(457, 469)(458, 468)(459,
467)(460, 466)(461, 465)(462, 464)(477, 504)(478, 503)(479, 502)(480, 501)(481,
500)(482, 499)(483, 498)(484, 497)(485, 496)(486, 495)(487, 494)(488, 493)(489,
492)(490, 491)
c: (1, 29, 66, 98, 119, 159, 176, 204, 241, 273, 294, 334, 351, 379, 416, 448,
469, 481, 22, 50, 59, 91, 140, 152, 169, 197, 234, 266, 287, 327, 344, 372, 409,
441, 462, 502, 15, 43, 80, 112, 133, 145, 190, 218, 227, 259, 308, 320, 337,
365, 402, 434, 455, 495, 8, 36, 73, 105, 126, 166, 183, 211, 248, 280, 301, 313,
358, 386, 395, 427, 476, 488)(2, 46, 75, 111, 116, 164, 177, 221, 250, 258, 291,
311, 352, 368, 397, 433, 466, 486, 23, 39, 68, 104, 137, 157, 170, 214, 243,
279, 284, 332, 345, 389, 418, 426, 459, 479, 16, 32, 61, 97, 130, 150, 191, 207,
236, 272, 305, 325, 338, 382, 411, 447, 452, 500, 9, 53, 82, 90, 123, 143, 184,
200, 229, 265, 298, 318, 359, 375, 404, 440, 473, 493)(3, 35, 84, 96, 113, 141,
178, 210, 231, 271, 288, 316, 353, 385, 406, 446, 463, 491, 24, 56, 77, 89, 134,
162, 171, 203, 252, 264, 281, 309, 346, 378, 399, 439, 456, 484, 17, 49, 70,
110, 127, 155, 192, 224, 245, 257, 302, 330, 339, 371, 420, 432, 449, 477, 10,
42, 63, 103, 120, 148, 185, 217, 238, 278, 295, 323, 360, 392, 413, 425, 470,
498)(4, 52, 65, 109, 138, 146, 179, 199, 240, 256, 285, 321, 354, 374, 415, 431,
460, 496, 25, 45, 58, 102, 131, 167, 172, 220, 233, 277, 306, 314, 347, 367,
408, 424, 453, 489, 18, 38, 79, 95, 124, 160, 193, 213, 226, 270, 299, 335, 340,
388, 401, 445, 474, 482, 11, 31, 72, 88, 117, 153, 186, 206, 247, 263, 292, 328,
361, 381, 394, 438, 467, 503)(5, 41, 74, 94, 135, 151, 180, 216, 249, 269, 282,
326, 355, 391, 396, 444, 457, 501, 26, 34, 67, 87, 128, 144, 173, 209, 242, 262,
303, 319, 348, 384, 417, 437, 450, 494, 19, 55, 60, 108, 121, 165, 194, 202,
235, 255, 296, 312, 341, 377, 410, 430, 471, 487, 12, 48, 81, 101, 114, 158,
187, 223, 228, 276, 289, 333, 362, 370, 403, 423, 464, 480)(6, 30, 83, 107, 132,
156, 181, 205, 230, 254, 307, 331, 356, 380, 405, 429, 454, 478, 27, 51, 76,
100, 125, 149, 174, 198, 251, 275, 300, 324, 349, 373, 398, 422, 475, 499, 20,
44, 69, 93, 118, 142, 195, 219, 244, 268, 293, 317, 342, 366, 419, 443, 468,
492, 13, 37, 62, 86, 139, 163, 188, 212, 237, 261, 286, 310, 363, 387, 412, 436,
461, 485)(7, 47, 64, 92, 129, 161, 182, 222, 239, 267, 304, 336, 357, 369, 414,
442, 451, 483, 28, 40, 57, 85, 122, 154, 175, 215, 232, 260, 297, 329, 350, 390,
407, 435, 472, 504, 21, 33, 78, 106, 115, 147, 196, 208, 225, 253, 290, 322,
343, 383, 400, 428, 465, 497, 14, 54, 71, 99, 136, 168, 189, 201, 246, 274, 283,
315, 364, 376, 393, 421, 458, 490)
C4[ 504, 27 ]
504
-1 56 488 29 493
-2 489 29 30 494
-3 495 490 30 31
-4 496 491 31 32
-5 33 497 492 32
-6 33 34 498 493
-7 34 35 499 494
-8 495 35 36 500
-9 496 36 37 501
-10 497 37 38 502
-11 498 38 39 503
-12 499 39 40 504
-13 477 500 40 41
-14 478 501 41 42
-15 479 502 42 43
-16 44 480 503 43
-17 44 45 481 504
-18 45 46 477 482
-19 46 47 478 483
-20 484 47 48 479
-21 485 48 49 480
-22 486 49 50 481
-23 487 50 51 482
-24 488 51 52 483
-25 484 489 52 53
-26 485 490 53 54
-27 55 486 491 54
-28 55 56 487 492
-29 66 77 1 2
-30 67 78 2 3
-31 68 79 3 4
-32 69 80 4 5
-33 70 81 5 6
-34 71 82 6 7
-35 72 83 7 8
-36 73 84 8 9
-37 57 74 9 10
-38 11 58 75 10
-39 11 12 59 76
-40 77 12 13 60
-41 78 13 14 61
-42 79 14 15 62
-43 80 15 16 63
-44 81 16 17 64
-45 82 17 18 65
-46 66 83 18 19
-47 67 84 19 20
-48 57 68 20 21
-49 22 58 69 21
-50 22 23 59 70
-51 23 24 60 71
-52 24 25 61 72
-53 25 26 62 73
-54 26 27 63 74
-55 27 28 64 75
-56 1 28 65 76
-57 89 37 48 108
-58 90 38 49 109
-59 110 91 39 50
-60 111 92 40 51
-61 112 93 41 52
-62 94 85 42 53
-63 95 86 43 54
-64 44 55 96 87
-65 88 45 56 97
-66 89 46 29 98
-67 99 90 47 30
-68 100 91 48 31
-69 101 92 49 32
-70 33 102 93 50
-71 34 103 94 51
-72 35 104 95 52
-73 36 105 96 53
-74 37 106 97 54
-75 55 38 107 98
-76 99 56 39 108
-77 100 29 40 109
-78 110 101 30 41
-79 111 102 31 42
-80 112 103 32 43
-81 33 44 104 85
-82 34 45 105 86
-83 35 46 106 87
-84 88 36 47 107
-85 121 134 81 62
-86 122 135 82 63
-87 123 136 83 64
-88 124 137 84 65
-89 66 57 125 138
-90 67 58 126 139
-91 68 59 127 140
-92 69 113 60 128
-93 70 114 61 129
-94 71 115 62 130
-95 72 116 63 131
-96 132 73 117 64
-97 133 74 118 65
-98 66 134 75 119
-99 67 135 76 120
-100 77 121 68 136
-101 78 122 69 137
-102 79 123 70 138
-103 80 124 71 139
-104 81 125 72 140
-105 113 82 126 73
-106 114 83 127 74
-107 115 84 128 75
-108 57 116 129 76
-109 77 58 117 130
-110 78 59 118 131
-111 132 79 60 119
-112 133 80 61 120
-113 156 92 105 153
-114 154 157 93 106
-115 155 158 94 107
-116 156 159 95 108
-117 157 160 96 109
-118 110 158 161 97
-119 111 159 162 98
-120 99 112 160 163
-121 100 161 85 164
-122 165 101 162 86
-123 166 102 163 87
-124 88 167 103 164
-125 165 89 168 104
-126 166 90 105 141
-127 167 91 106 142
-128 143 168 92 107
-129 144 93 108 141
-130 145 94 109 142
-131 110 143 146 95
-132 111 144 147 96
-133 112 145 148 97
-134 146 149 85 98
-135 99 147 150 86
-136 100 148 151 87
-137 88 101 149 152
-138 89 102 150 153
-139 154 90 103 151
-140 155 91 104 152
-141 126 181 129 186
-142 187 127 182 130
-143 188 128 183 131
-144 132 189 129 184
-145 133 190 130 185
-146 134 191 131 186
-147 132 187 135 192
-148 133 188 136 193
-149 134 189 137 194
-150 135 190 138 195
-151 136 191 139 196
-152 169 137 192 140
-153 113 170 138 193
-154 114 171 139 194
-155 115 172 140 195
-156 113 116 173 196
-157 114 169 117 174
-158 115 170 118 175
-159 176 116 171 119
-160 177 117 172 120
-161 121 178 118 173
-162 122 179 119 174
-163 123 180 120 175
-164 121 176 124 181
-165 122 177 125 182
-166 123 178 126 183
-167 124 179 127 184
-168 125 180 128 185
-169 157 224 152 197
-170 198 158 153 197
-171 154 198 199 159
-172 155 199 200 160
-173 156 200 201 161
-174 157 201 202 162
-175 158 202 203 163
-176 159 203 204 164
-177 165 160 204 205
-178 166 161 205 206
-179 167 162 206 207
-180 168 163 207 208
-181 209 141 164 208
-182 165 209 210 142
-183 143 166 210 211
-184 144 167 211 212
-185 145 168 212 213
-186 146 213 214 141
-187 147 214 215 142
-188 143 148 215 216
-189 144 149 216 217
-190 145 150 217 218
-191 146 151 218 219
-192 220 147 152 219
-193 220 221 148 153
-194 154 221 222 149
-195 155 222 223 150
-196 156 223 224 151
-197 234 245 169 170
-198 235 246 170 171
-199 236 247 171 172
-200 237 248 172 173
-201 238 249 173 174
-202 239 250 174 175
-203 176 240 251 175
-204 176 177 241 252
-205 242 177 178 225
-206 243 178 179 226
-207 244 179 180 227
-208 245 180 181 228
-209 246 181 182 229
-210 247 182 183 230
-211 231 248 183 184
-212 232 249 184 185
-213 233 250 185 186
-214 187 234 251 186
-215 187 188 235 252
-216 188 189 225 236
-217 189 190 226 237
-218 190 191 227 238
-219 191 192 228 239
-220 192 193 229 240
-221 193 194 230 241
-222 231 242 194 195
-223 232 243 195 196
-224 233 244 169 196
-225 276 257 205 216
-226 277 258 206 217
-227 278 259 207 218
-228 279 260 208 219
-229 209 220 280 261
-230 253 210 221 262
-231 254 211 222 263
-232 264 255 212 223
-233 265 256 213 224
-234 266 257 214 197
-235 198 267 258 215
-236 199 268 259 216
-237 200 269 260 217
-238 201 270 261 218
-239 202 271 262 219
-240 220 203 272 263
-241 264 221 204 273
-242 265 222 205 274
-243 275 266 223 206
-244 276 267 224 207
-245 277 268 197 208
-246 198 209 278 269
-247 199 210 279 270
-248 200 211 280 271
-249 253 201 212 272
-250 254 202 213 273
-251 255 203 214 274
-252 275 256 204 215
-253 289 302 249 230
-254 231 290 303 250
-255 232 291 304 251
-256 233 292 305 252
-257 234 225 293 306
-258 235 226 294 307
-259 308 236 227 295
-260 237 281 228 296
-261 297 238 282 229
-262 298 239 283 230
-263 231 299 240 284
-264 232 300 241 285
-265 242 286 233 301
-266 243 287 234 302
-267 244 288 235 303
-268 245 289 236 304
-269 246 290 237 305
-270 247 291 238 306
-271 248 292 239 307
-272 308 249 293 240
-273 281 250 294 241
-274 242 282 251 295
-275 243 283 252 296
-276 297 244 225 284
-277 298 245 226 285
-278 286 299 246 227
-279 287 300 247 228
-280 288 301 248 229
-281 321 324 260 273
-282 322 325 261 274
-283 275 323 326 262
-284 276 324 327 263
-285 264 277 325 328
-286 265 278 326 329
-287 330 266 279 327
-288 331 267 280 328
-289 253 332 268 329
-290 330 254 333 269
-291 331 255 334 270
-292 332 256 335 271
-293 333 257 336 272
-294 309 334 258 273
-295 310 335 259 274
-296 275 311 336 260
-297 276 309 312 261
-298 277 310 313 262
-299 278 311 314 263
-300 264 279 312 315
-301 265 280 313 316
-302 253 266 314 317
-303 254 267 315 318
-304 319 255 268 316
-305 320 256 269 317
-306 321 257 270 318
-307 319 322 258 271
-308 320 323 259 272
-309 297 354 294 349
-310 298 355 295 350
-311 299 356 296 351
-312 297 352 300 357
-313 298 353 301 358
-314 299 354 302 359
-315 300 355 303 360
-316 301 356 304 361
-317 302 357 305 362
-318 363 303 358 306
-319 364 304 359 307
-320 308 337 305 360
-321 281 338 306 361
-322 282 339 307 362
-323 308 363 283 340
-324 341 364 281 284
-325 342 282 337 285
-326 286 343 283 338
-327 287 344 284 339
-328 288 345 285 340
-329 286 341 289 346
-330 287 342 290 347
-331 288 343 291 348
-332 289 344 292 349
-333 290 345 293 350
-334 291 346 294 351
-335 352 292 347 295
-336 353 293 348 296
-337 320 365 325 392
-338 321 365 366 326
-339 322 366 367 327
-340 323 367 368 328
-341 324 368 369 329
-342 330 325 369 370
-343 331 326 370 371
-344 332 327 371 372
-345 333 328 372 373
-346 374 334 329 373
-347 330 374 375 335
-348 331 375 376 336
-349 309 332 376 377
-350 310 333 377 378
-351 311 334 378 379
-352 312 335 379 380
-353 313 336 380 381
-354 309 314 381 382
-355 310 315 382 383
-356 311 316 383 384
-357 385 312 317 384
-358 385 386 313 318
-359 319 386 387 314
-360 320 387 388 315
-361 321 388 389 316
-362 322 389 390 317
-363 323 390 391 318
-364 319 324 391 392
-365 402 413 337 338
-366 403 414 338 339
-367 404 415 339 340
-368 341 405 416 340
-369 341 342 406 417
-370 407 418 342 343
-371 408 419 343 344
-372 409 420 344 345
-373 410 345 346 393
-374 411 346 347 394
-375 412 347 348 395
-376 396 413 348 349
-377 397 414 349 350
-378 398 415 350 351
-379 352 399 416 351
-380 352 353 400 417
-381 418 353 354 401
-382 419 354 355 402
-383 420 355 356 403
-384 356 357 393 404
-385 357 358 394 405
-386 358 359 395 406
-387 396 407 359 360
-388 397 408 360 361
-389 398 409 361 362
-390 363 399 410 362
-391 363 364 400 411
-392 364 401 412 337
-393 444 425 373 384
-394 374 385 445 426
-395 375 386 446 427
-396 376 387 447 428
-397 429 377 388 448
-398 430 421 378 389
-399 431 422 379 390
-400 432 423 380 391
-401 433 424 381 392
-402 365 434 425 382
-403 366 435 426 383
-404 367 436 427 384
-405 385 368 437 428
-406 429 386 369 438
-407 430 387 370 439
-408 440 431 388 371
-409 441 432 389 372
-410 442 433 390 373
-411 374 443 434 391
-412 375 444 435 392
-413 365 376 445 436
-414 366 377 446 437
-415 367 378 447 438
-416 368 379 448 439
-417 440 421 369 380
-418 441 422 370 381
-419 442 423 371 382
-420 443 424 372 383
-421 398 457 470 417
-422 418 399 458 471
-423 419 400 459 472
-424 473 420 401 460
-425 474 402 393 461
-426 462 475 403 394
-427 463 476 404 395
-428 396 464 405 449
-429 397 465 406 450
-430 407 451 398 466
-431 408 452 399 467
-432 409 453 400 468
-433 410 454 401 469
-434 411 455 402 470
-435 412 456 403 471
-436 413 457 404 472
-437 473 414 458 405
-438 474 415 459 406
-439 407 475 416 460
-440 408 476 417 461
-441 418 462 409 449
-442 419 463 410 450
-443 451 420 464 411
-444 452 465 412 393
-445 453 466 413 394
-446 454 467 414 395
-447 396 455 468 415
-448 397 456 469 416
-449 441 489 492 428
-450 429 442 490 493
-451 430 443 491 494
-452 495 431 444 492
-453 496 432 445 493
-454 497 433 446 494
-455 495 498 434 447
-456 496 499 435 448
-457 497 421 500 436
-458 498 422 501 437
-459 499 423 502 438
-460 500 424 503 439
-461 440 501 425 504
-462 441 477 502 426
-463 442 478 503 427
-464 443 479 504 428
-465 429 444 477 480
-466 430 445 478 481
-467 431 446 479 482
-468 432 447 480 483
-469 484 433 448 481
-470 485 421 434 482
-471 486 422 435 483
-472 484 487 423 436
-473 485 488 424 437
-474 486 489 425 438
-475 487 490 426 439
-476 440 488 491 427
-477 462 13 465 18
-478 463 14 466 19
-479 464 15 467 20
-480 465 16 468 21
-481 22 466 17 469
-482 23 467 18 470
-483 24 468 19 471
-484 25 469 20 472
-485 473 26 470 21
-486 22 474 27 471
-487 23 475 28 472
-488 473 1 24 476
-489 474 2 25 449
-490 475 3 26 450
-491 451 476 4 27
-492 452 5 28 449
-493 1 453 6 450
-494 451 2 454 7
-495 452 3 455 8
-496 453 4 456 9
-497 454 5 457 10
-498 11 455 6 458
-499 12 456 7 459
-500 13 457 8 460
-501 14 458 9 461
-502 462 15 459 10
-503 11 463 16 460
-504 12 464 17 461
0