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