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