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