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