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