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