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