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