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