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