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