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