cleanF16 := (3+5*x*y^17+5*x^8*y^7-4*x+2*y-2*x^11*y^2-4*x^3*y^6-5*y^6*x^6+4*y^7
*x^4-4*y^6+x*y^14+4*x*y^15-5*x*y^12+4*y^5+y^4+2*x^3-2*y^3+2*x^6-2*y^8*x^4+5*y^
7*x^5-3*x^15-5*x^12-3*y^6*x^5+3*x^10*y^2+5*y^5*x^6-3*y^12+3*x^2*y^16-x*y^9+3*x
^3*y^4-x^2*y^14-5*x^2*y^15+3*x^2*y^11+5*x^9*y-4*x^4*y^5-5*x^4*y^4+3*x^4*y^6-5*
x^5*y^2+3*x^5*y^4-5*x^5*y^3+x^5*y^5+4*x^6*y^2-4*x^6*y+4*x^6*y^4+5*x^7*y+3*x^7*
y^3-x^7*y^2+2*x^7-2*x^7*y^4-5*x^8*y^2-x^8*y-2*x^3*y^14+x^8-4*x^3*y^15-3*x^16*y
^2+5*x^9-5*x^10+5*x^11*y^7+2*x^14*y^2+3*x^2*y^6-2*x^2*y^5+x^2*y^8+3*x^2*y^7+5*
x^2*y^13-4*x^3*y^10+5*x^3*y^11+4*x^3*y^13+4*y^8-5*x^3*y^12+5*x^3*y^7-2*x^11*y^
6+3*x^11*y^5+2*x^3*y^5-4*y^7+4*x^4*y^3-x^10*y^4+4*x^10*y-5*y^10-5*x*y^7+5*x*y^
6+2*x*y^16-3*x^8*y^10-3*x*y^8-y^13+5*x^11*y-3*x^2*y^12-x^15*y^2+2*x^10*y^3-2*y
^14-2*y^18+2*y^15-2*x^10*y^7-4*x^8*y^3-3*x^9*y^2+5*x^4*y^13+3*x^4*y^14-x^4*y^
11-4*x^15*y^3+2*x^6*y^8-4*x^8*y^5+4*x^8*y^4+3*x^9*y^3+4*x^12*y^2+4*x^5*y^8-2*x
^5*y^10+4*x^5*y^9+x^5*y^13-2*x^12*y^6-x^12*y^5-4*x^5*y^11+3*x^4*y-5*x^12*y^4+4
*x^4*y^2-2*x^12*y^3+3*x^5*y-3*x^4*y^10+3*x^4*y^9-4*x^5*y^12-2*x^2*y-5*x^10*y^6
+5*x^14*y^4-2*x^15*y+x^2*y^2+x^2*y^3+2*x^13-4*x^13*y-4*x^2*y^4-4*x^13*y^4+5*x^
13*y^3+x^3*y+5*x^3*y^2-2*x^13*y^2-2*x^3*y^3-3*x*y^13+x*y^2-4*x*y^3-3*x*y^4+3*x
*y^5-x^9*y^4-5*x^16*y-3*x^8*y^6-x*y-2*x^17+y^10*x-4*x^5-3*y^9*x^3+5*y^8*x^3-4*
y^9*x^2-5*y^10*x^2+2*x^16+x^6*y^9-4*x^4-y^2+3*x^17*y-4*x^6*y^7-4*y^11*x+4*x^6*
y^12+5*x^9*y^5-3*x^9*y^8+4*x^9*y^7-5*x^9*y^9-4*x^18+5*x^11*y^3-5*x^12*y+2*x^7*
y^7+x^9*y^6-3*x^7*y^11-x^8*y^9-5*x^7*y^9+2*x^7*y^10-x^13*y^5+2*x^11+2*x^7*y^5+
2*x^7*y^6-5*y^11-4*x^14*y^3)*(-5-4*x*y^17+2*x^8*y^7+5*x-5*x^3*y^6-2*y^6*x^6-3*
y^7*x^4-5*y^6+3*x*y^14-3*x*y^15+2*x*y^12+2*y^5-x^2+3*y^4-4*x^3-2*y^3+x^6-5*y^8
*x^4+5*y^7*x^5-2*x^15+5*x^12+4*x^8*y^8+4*y^6*x^5-2*x^10*y^2-2*y^5*x^6-3*y^12+3
*x^2*y^16-3*x*y^9+5*x^3*y^4-2*x^2*y^14-4*x^2*y^15-2*x^2*y^11-3*x^9*y+4*x^4*y^5
+4*x^4*y^4-3*x^4*y^6+3*x^5*y^2+5*x^5*y^4+3*x^5*y^3-2*x^5*y^5+5*x^6*y^2-x^6*y-3
*x^6*y^4-4*x^6*y^3+x^7*y+3*x^7-x^7*y^4+2*x^8*y^2-3*x^8*y+4*x^3*y^14+2*x^8-3*x^
16*y^2-2*x^9-x^10-3*x^11*y^7+4*x^14*y^2-x^2*y^6-2*x^2*y^5+3*x^2*y^8-4*x^2*y^13
+4*x^3*y^10-5*x^3*y^11-5*x^3*y^13-y^8-3*x^3*y^12-x^11*y^6-3*x^11*y^5+x^3*y^5-5
*y^7-2*x^4*y^3+x^10*y-3*y^10+4*x*y^7-4*x*y^6+4*x*y^16+5*x^8*y^10-y^9+x*y^8-4*y
^13-5*y^17-2*y^16+5*x^11*y-3*x^2*y^12-5*x^15*y^2+3*x^10*y^3-2*y^18-3*y^15-5*x^
10*y^7-5*x^8*y^3+5*x^9*y^2-3*x^4*y^12+4*x^4*y^13+2*x^4*y^14-x^4*y^11+2*x^15*y^
3+2*x^8*y^5-2*x^8*y^4-x^9*y^3-x^12*y^2-4*x^5*y^8+4*x^5*y^10-5*x^5*y^9+2*x^5*y^
13-5*x^12*y^6+4*x^12*y^5+3*x^5*y^11-4*x^4*y-4*x^12*y^4-5*x^4*y^2+3*x^12*y^3-2*
x^5*y-5*x^4*y^10-3*x^4*y^9+4*x^10*y^5+x^5*y^12+2*x^2*y+2*x^10*y^6-4*x^14-2*x^
14*y^4-3*x^15*y-4*x^2*y^2+3*x^2*y^3+x^13+x^2*y^4-2*x^13*y^4+3*x^13*y^3+4*x^3*y
-5*x^3*y^2+x^13*y^2-3*x^3*y^3+3*x*y^13-2*x*y^2-x*y^3-5*x*y^4-3*x*y^5+4*x^16*y+
4*x^8*y^6-4*x*y+4*x^17-x^5+y^9*x^3-2*y^10*x^2+x^16-5*x^6*y^9-5*x^4-y^2-5*x^17*
y+2*x^6*y^7-x^6*y^10+4*y^11*x-4*x^6*y^12-2*x^9*y^5-2*x^9*y^8+5*x^9*y^7-4*x^9*y
^9+x^18-4*x^11*y^3-3*x^12*y-3*x^7*y^7+4*x^9*y^6-x^7*y^11-2*x^8*y^9-4*x^7*y^10-\
4*x^7*y^8+4*x^11-5*x^7*y^5+5*x^7*y^6-2*y^11-x^14*y^3);
noiseF16 := `*`(1/27523279017014000000*3899042^(1/2)*13761639508507^(1/2),-\
725626*x-808322*x^29*y-396392*x^20*y^3-525926*x^20*y^13+141582*x^20*y^16-\
167256*x^20*y^14+132114*x^19*y^10-40591*y^7*x^4-739226*x*y^14-575333*y^7*x^5-\
260726*x^15-170350*x^19*y^7+973703*x^17*y^11-45989*x^17*y^18-705104*x^17*y^5-\
11128*x^17*y^3+729916*x^11*y^10-643128*x*y^9+299097*x^2*y^14-514956*x^2*y^18+
723931*x^4*y^6+870469*x^5*y^4-52907*x^11*y^8+5915*x^5*y^5+729222*x^7+107881*x^
7*y^4+866719*x^8*y-208306*x^3*y^14-382846*x^8+556632*x^9-678534*x^14*y^2-\
394828*x^3*y^10+99392*x^3*y^19-309515*x^21*y^14-739615*x^21*y^15+14988*x^21*y^
11+740673*x^11*y^6+149442*x^3*y^5+86090*x^19*y^3-999426*x^16*y^4+198284*x^10*y
^7-251627*x^27*y^9-839564*x^8*y^3-524383*x^4*y^13+892055*x^4*y^16-340179*x^22*
y^4+289344*x^22*y^3-555152*x^22*y^8-744551*x^15*y^7+987340*x^19*y^6+326865*x^8
*y^5-33418*x^18*y^3+308982*x^18*y^4-915238*x^6*y^16+320733*x^8*y^4-77082*x^9*y
^3+200210*x^5*y^9+611884*x^5*y^13-40853*x^12*y^5+279690*x^33*y^3+228943*x^4*y+
643252*x^5*y-265691*y^21-107907*x^31*y+508501*x^4*y^9-368462*x^31*y^4-833815*x
^18*y^17+776023*x^2*y+422202*x^10*y^6-482363*x^14*y^8-291803*x^16*y^3+539854*x
^23*y^9-953219*x^18*y^2+989890*x^23*y^2-745390*x^30*y^5+53611*x^3*y-648093*x^
13*y^8+205673*x^30*y^3-469272*x^13*y^2+128156*x^19*y^17-407260*x*y^13-948526*x
*y^2-326300*x^29*y^2+378433*x^9*y^4-401415*x^23*y^4+262802*x^28*y^5+845441*x^
19*y^15+514038*x*y+773203*y^10*x+940319*x^26*y^3+586083*x^27*y^3+344708*x^26*y
^8+417012*x^26*y^10-599215*x^26*y^2-227133*x^16-658485*x^6*y^9-977221*x^4-\
200333*x^26*y^6+200996*x^6*y^10+118639*x^5*y^28+400021*x^20*y^2+289197*x^21-\
540632*x^20-57587*x^19-424841*x*y^27+375538*x^25*y^7+809103*x^9*y^5+28395*x^16
*y^11+432385*x^9*y^7-975759*x^27*y^5+940335*x^9*y^11+542262*x*y^26-44836*x^24*
y^8+360020*y^33-310889*x^24*y^10+174963*x^7*y^11-189033*x^8*y^9+875294*x^8*y^
11+634165*x*y^34-226508*x^25*y^4-944359*x^13*y^5-985745*x^13*y^7+191280*x^25*y
-826937*x^25*y^5+439906*x^11*y^13+409505*x^6*y^17-371197*x^5*y^18+333933*x^15*
y^9-642159*x^15*y^8-25585*x^6*y^18+3102*x^7*y^17-190868*x^2*y^22+350741*x^13*y
^10-300641*x^11*y^12+894166*x^17*y^6-882931*x^8*y^16-537943*x^9*y^14+468236*y^
26-541049*x^2*y^29+488923*x^3*y^32+775150*x^3*y^23-264833*x^3*y^33+124224*x^3*
y^22+182979*x^4*y^25-955071*x^6*y^21-3700*x^6*y^28-655793*x^6*y^26-576544*x^7*
y^18-988622*x^7*y^22+477851*x^7*y^24+963659*x^6*y^27+284960*x^8*y^18-168012*x^
8*y^19+521520*x^8*y^27+890613*x^8*y^25+241405*x^9*y^16+2158*x^9*y^18+198447*x^
9*y^22-787977*x^9*y^25-211666*x^10*y^17+912647*x^10*y^23+641136*x^11*y^17+
214673*x^11*y^14+415834*x^11*y^19-883444*x^11*y^21+593194*x^11*y^20-515799*x^
12*y^18+424935*x^13*y^12-661654*x^13*y^22+761721*x^14*y^17+653303*x^14*y^16-\
659003*x^14*y^19+449344*x^14*y^22+658688*x^14*y^11+872943*x^15*y^11+915109*x^
16*y^16);