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