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