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