// 1142*111^1142+1
6554021749787270690412720074317490326692204118954530904683813383\
2889009626048925794248951953446054770803451300407340046460859230\
6400574544435436251517423728617686422874418164855315060077654524\
0582943161721349080162903370102289527756619971358955572623118434\
1686400264042164560180267370653318558656420191033540890818224621\
6012025578340663479017753276471325659708279389579131617675797042\
1397747393823454590750478933759406485886475067138365094108414902\
6848227083201912152195747679421203710499745338040320244971058727\
8666507735490744441219804991943070190782168499205447564532322235\
0185530532194209155766435627037825469753657079646994421406468649\
4067000073413187146510401415204230047168888756963624809355538005\
6057965574512083040159729757938058197553594524161157201724933038\
1757962915414714560214174383598292610568463169003228622445426586\
6412070716463087760320139158803538795716099100289353220837672917\
3169527649860425891599284371885590964899152927065640998495803635\
4952391357254068973503063010274505801339680526254142594024512906\
5281224610531110926285799210294493425085500390185998166839856027\
7886366724311980203018342986209103608636445209280208163215411109\
5473938272830074864286721467707772592459431364738774022718389639\
3672547665401964800285546920058982736906393572988869490542154766\
1088811322430236095929366413211722281798252640879394398363976756\
8710817590985512029396682470944914081746212203932335718645448137\
6242847859720367144133467032837321149034220560757020351421344074\
3239549549956140466520486345123242267544930760891227009261115505\
8515097343822198052739025968723889889141330630517699275708454679\
5181615696694064870364126146428187528531657492866574679574442812\
1890355872018362345150064392078243320314996877058369950808047350\
2079611295752657060949335472822642416739646649455428239592245743\
2672400761232234204486924920079983970301047400066762833495262219\
9184355622210792018622350044210054680766449095849114015417314067\
4946031934815034529673351652967093663396774845742518043491406418\
1446829125153567825047492546575977646581953061963665694700133629\
0946046458954565816548002333667330568660203902271285062226915485\
9655353165915715667390290362037533170495952604292027780561897255\
5429600163945358784522610100829674116264527779431071610137755751\
4016744087336256295814481793915475846376168957490906777550045548\
86652008865665964291701690248819383