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