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