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