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