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