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