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