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