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