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