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