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