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