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