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