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