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