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