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