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