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