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