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