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