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