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