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