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