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