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