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