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