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