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