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