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