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