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