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