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