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