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