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