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