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