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