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