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