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