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