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