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