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