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