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