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