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