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