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