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