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