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