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