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