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