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