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