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