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