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