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