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