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