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