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