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