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