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