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