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