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