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