P3 := 34359738368*(16*n+39)*(8*n+15)*(8*n+7)*(6*n+17)*(16*n+37)*(4*n+7)*(4*n+3
)*(16*n+35)*(8*n+13)*(8*n+5)*(16*n+33)*(2*n+3)*(16*n+47)*(8*n+11)*(8*n+3)*(16*
n+45)*(4*n+5)*(4*n+1)*(16*n+43)*(6*n+13)*(8*n+9)*(8*n+1)*(16*n+41)*(
3140696507613063692347779887417563067082295124001893547119616000000*n+62824407\
32188145850433836011480300880395874260477535164723162331130993913626624*n^38+\
225861698638141947768091279595746311804432415974111699480062998720025284994662\
4*n^39+42452138643932427826418754634920145974434101529728641949511540600085329\
6407108864*n^32+36547880302079781959162478911555798850905567054260624109976492\
920551631455125504*n^36+\
10415833500962826437850151846860071161294334557035035192892419195627634688*\
n^47+1587395714756987143762730860273106837226413557559742604166216134367774396\
2783744*n^37+\
1515781151855297824865321222727231877107723736774227444528931542609541846176*\
n^9+21546566019540501094803410313595039474914667846862210360203605710522580100\
7104*n^41+73489783103867689106409132552523976819367443578563051897330706210598\
7962896384*n^40+\
35632045227833756784864242015241189744267117403245136660342834006141036981296*\
n^11+8221205068627684765829341054913831384212299724315314117496555207243269224\
74349831*n^23+7687690740459264516517118444409356366383496029830821840187073329\
6806834495832064*n^35+\
77939035340844026140293220028345219632990107386833319299148602259122683904*\
n^46+2993963361264812339750020681322451598324247610834100745629242322443757488\
2363831*n^17+\
497059704044634525154361616846383394231400933460614820620972527849763241984*\
n^45+\
254853780625247749759623781046524996324375430358562264417799751573201414336*\
n^8+\
56626778683561247787173753732110123986927459768720967669113796046928230744064*\
n^42+1374063997264737220273120525808212991508267021465679432548470552934272920\
269694841*n^26+385527460747583443478039415184101572050976715285807271338090444\
373181603450428021*n^21+125783309274444413521087925351675018469631648301336035\
05678954145842986795227421*n^16+6488796227370992840050413749484138097588402282\
7681262480850404482003001090808851*n^18+\
36812470893211324069742866401251303277618660749889893672424155778861202944*\
n^7+\
2743155598526424300526799181160107597759852984575652111033385811392105283584*\
n^44+1256722967972126438761465986980908579075591895212895847984898554745776159\
273788741*n^25+261571350398149469210233464791751532862168628691567199672458085\
973886754570042624*n^33+128378545650399710779961246368862897121728012244990574\
452843766155262940174995301*n^19+165513188094332683416876701730173526951901668\
0730664353492814997858962275930751*n^14+47972388593537865207828758852430208007\
92067221359354284817180097583229600927061*n^15+1480608683309835940966680076638\
13395368038227550613436957108697094510541005799424*\
n^34+4497073265225939069205335112964716016809769371891475882549523020383444480\
*n^6+1384960147937140951196400761142830798378280049100903196228402113795054324\
838315343*n^27+514484211607471307303972238281289790923545113579746463256333570\
164142153659151*n^13+105917782949226784767085817278544246652106195061495332514\
8460582992710386967636591*n^24+\
13256279973964786821578336312813561256072012480443729567790360648697715359744*\
n^43+6337180603280981247933914218442046119431451661685047325006802348802873987\
74855104*n^31+5871964170129991457021566823381976714282744407224690927347893317\
71483514068013961*n^22+1102790996232417929363524171276718831358311479774901533\
101561964098560100563270624*n^29+\
2338066995667335311727728392394314858911782708403827404238289684480000*\
n^3+455136647863084103193859307570479220912111287304518952121543461629689600*\
n^5+37100096397763525505369797538124156063456677975094575991390352768512000*\
n^4+1162798641392129417759960513043077547619170951882848575583963435426119680*\
n^48+2323730856230450966036677073868666340850545358537873208837283118124418938\
42333341*n^20+\
7841245629920567038654531822555266935215268547886398441496289911388100566256*\
n^10+1287078450813724693179161058426853804690667508742482973633680135491507477\
017116659*n^28+870947667521718061847865765792567530405628986490844756179080704\
895120696143406844*n^30+143392845250053962552067779850147850386847467200024758\
390113663702461714025636*n^12+\
106780046345987518478252515699700599424289167305727949272646758400000*\
n^2+105481572552052249119762841121670464485100276781446049745724871435878400*\
n^49+387031064600841843872146601939909322937516489487214209097919365120000*\
n^51+7467880827159663506353940130802945542899629505551260728574219386880000*\
n^50+215189901413373962322242994412149459486872631982737227513856000000*\
n^53+13057780366749745605656395363424071717666767898334961228526387200000*\
n^52+44606599287854773171120044273022857024066697000909193011200000000)*(4*\
n+11)^3*(8*n+17)^3*(2*n+5)^3*(8*n+23)^3*(4*\
n+9)^3*(8*n+21)^3*(n+3)^3*(8*n+19)^3;