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