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