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