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