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