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