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