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