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