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