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