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