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