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