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