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