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