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