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