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