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