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