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