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