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