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