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