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