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