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