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