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