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