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