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