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