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