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