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