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