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