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