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