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