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