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