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