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