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