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