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