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