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