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