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