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