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