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