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