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