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