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