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