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