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