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