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