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