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