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