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