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