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