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