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