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