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