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