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