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