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