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