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