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