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