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