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