recNA4x2n := n^2*(1 + n)*(2 + n)*(3 + n)*(6 + n)*(11 + 2*n)*
  (14558822010880 + 52503827014144*n + 84689629940352*n^2 + 
   81171240071328*n^3 + 51746353031848*n^4 + 23253235429380*n^5 + 
   7609327307378*n^6 + 1845221110953*n^7 + 333741324099*n^8 + 
   44872351645*n^9 + 4421145963*n^10 + 309948507*n^11 + 14633617*n^12 + 
   416955*n^13 + 5415*n^14)*f(n) - (1 + n)*(2 + n)*(3 + n)*(6 + n)*
  (-94683004747776 + 50104801179648*n + 1830517745930752*n^2 + 
   5335645083599744*n^3 + 7848889906043936*n^4 + 7281106832524688*n^5 + 
   4669398529965344*n^6 + 2174046034312576*n^7 + 756110459596666*n^8 + 
   199640209881861*n^9 + 40314795265513*n^10 + 6225062847195*n^11 + 
   729090733177*n^12 + 63627661745*n^13 + 4006775115*n^14 + 171961945*n^15 + 
   4499865*n^16 + 54150*n^17)*f(1 + n) - 2*(2 + n)*(3 + n)*
  (5616818671435776 + 38165668337793024*n + 114532593846732288*n^2 + 
   206801427730959232*n^3 + 254403581054727136*n^4 + 227357427566608656*n^5 + 
   153212650583491968*n^6 + 79677281806458464*n^7 + 32453420525079062*n^8 + 
   10448964102748493*n^9 + 2672353032904953*n^10 + 543452930263869*n^11 + 
   87618366066285*n^12 + 11115338062871*n^13 + 1094754684867*n^14 + 
   81903833439*n^15 + 4493754945*n^16 + 170370776*n^17 + 3985440*n^18 + 
   43320*n^19)*f(2 + n) - (3 + n)*(4 + n)*(66291945559031808 + 
   448155439943712768*n + 1369440820546228224*n^2 + 2512904281586212864*n^3 + 
   3111051966709357568*n^4 + 2769239544401998208*n^5 + 
   1843557574130277648*n^6 + 941992171016937360*n^7 + 
   375860421438081824*n^8 + 118414108147860476*n^9 + 29638453292956391*n^10 + 
   5904386419570482*n^11 + 933857324291904*n^12 + 116412555826216*n^13 + 
   11285853294846*n^14 + 832525346748*n^15 + 45110181672*n^16 + 
   1691514876*n^17 + 39188355*n^18 + 422370*n^19)*f(3 + n) + 
 (4 + n)*(-67377060206346240 + 1019008220737830912*n + 
   5802693867039928320*n^2 + 13751751703927855104*n^3 + 
   19655606574999788544*n^4 + 19293811474637351040*n^5 + 
   13892311710601765968*n^6 + 7628576255384175776*n^7 + 
   3274104533346023904*n^8 + 1115719528208311236*n^9 + 
   304784617502110955*n^10 + 67062606820651819*n^11 + 
   11891991596068654*n^12 + 1693278186149036*n^13 + 191984545600682*n^14 + 
   17086304290866*n^15 + 1166814098768*n^16 + 58973976280*n^17 + 
   2076888227*n^18 + 45469755*n^19 + 465690*n^20)*f(4 + n) + 
 16*(4 + n)*(5 + n)*(6 + n)*(760181102198784 + 4870891317012480*n + 
   12786069882152448*n^2 + 19953454959570240*n^3 + 21336130641898512*n^4 + 
   16697528525304400*n^5 + 9888896544502480*n^6 + 4514628352406200*n^7 + 
   1606230661963155*n^8 + 448119204782200*n^9 + 98262273842844*n^10 + 
   16907416423120*n^11 + 2268514192552*n^12 + 234451842100*n^13 + 
   18280490030*n^14 + 1039111120*n^15 + 40605389*n^16 + 974700*n^17 + 
   10830*n^18)*f(5 + n) + (6 + n)*(877982583942512640 + 
   6059605962375180288*n + 19163563588184601600*n^2 + 
   36297337675048806656*n^3 + 46093085545638228544*n^4 + 
   41870916406048741440*n^5 + 28379129916536268848*n^6 + 
   14771533311549986944*n^7 + 6024342402397275164*n^8 + 
   1951703569320659764*n^9 + 506692794770251265*n^10 + 
   105894981134853861*n^11 + 17826642160470174*n^12 + 2408951223533444*n^13 + 
   259197248986782*n^14 + 21896739536014*n^15 + 1420115909268*n^16 + 
   68219694080*n^17 + 2285744777*n^18 + 47668245*n^19 + 465690*n^20)*
  f(6 + n) - (6 + n)*(7 + n)*(91466771265257472 + 795917354774335488*n + 
   2684246039004496896*n^2 + 5095980123302758144*n^3 + 
   6310016515992480832*n^4 + 5505830332922211328*n^5 + 
   3547255212017514352*n^6 + 1739369107230985040*n^7 + 
   662303919031531516*n^8 + 198406524486192376*n^9 + 47117131950946229*n^10 + 
   8895416581682802*n^11 + 1332814938757576*n^12 + 157421823881776*n^13 + 
   14469057333354*n^14 + 1012862112828*n^15 + 52142045748*n^16 + 
   1860137976*n^17 + 41061945*n^18 + 422370*n^19)*f(7 + n) - 
 2*(7 + n)*(8 + n)*(10938374058737664 + 92635715022372864*n + 
   305269760555523072*n^2 + 570079228338369792*n^3 + 698119438822393664*n^4 + 
   604690903955972976*n^5 + 387645580787138912*n^6 + 189386809792048304*n^7 + 
   71897146624331808*n^8 + 21477392030082693*n^9 + 5085250372775637*n^10 + 
   956869243465469*n^11 + 142821794362245*n^12 + 16794880890991*n^13 + 
   1535920670983*n^14 + 106909755839*n^15 + 5469124975*n^16 + 
   193763576*n^17 + 4245360*n^18 + 43320*n^19)*f(8 + n) - 
 (4 + n)*(7 + n)*(8 + n)*(9 + n)*(545956868653056 + 3972347466743808*n + 
   11954637802579968*n^2 + 20425488355650304*n^3 + 22579400764734464*n^4 + 
   17343233644977648*n^5 + 9672229061274176*n^6 + 4029476224818896*n^7 + 
   1276972282487324*n^8 + 311077222713061*n^9 + 58480800377737*n^10 + 
   8463711866955*n^11 + 934013722173*n^12 + 77125168145*n^13 + 
   4611136635*n^14 + 188423545*n^15 + 4705635*n^16 + 54150*n^17)*f(9 + n) + 
 (4 + n)*(7 + n)*(8 + n)*(9 + n)*(10 + n)^2*(9 + 2*n)*
  (123603056640 + 872584586496*n + 2424130509312*n^2 + 3711640232592*n^3 + 
   3578431574848*n^4 + 2329320456000*n^5 + 1066325737868*n^6 + 
   351547754967*n^7 + 84423504549*n^8 + 14775946155*n^9 + 1863702393*n^10 + 
   164896533*n^11 + 9705967*n^12 + 341145*n^13 + 5415*n^14)*f(10 + n):