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