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