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