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