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