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