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