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