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