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