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