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