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