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