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