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