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