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