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