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