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