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