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