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