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