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