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