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