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