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