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