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