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