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