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