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