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