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