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