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