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