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