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