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