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