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