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