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