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