cleanF12 := (1-5*x+3*y-5*x^5*y+5*x^6-3*x^5-3*y^2-x^4-2*y^3-3*x^3-y^4-3*x^2-2*y
^5-x^4*y^2-5*x^4*y+2*x^3*y^3+4*x^3*y^2-4*x^3*y+2*x^2*y^4-5*x^2*y^3-2*x^2*y^2+4
*x^2*y+2*x*y^5+3*x*y^4+4*x*y^2-3*x*y-3*x^9*y-4*x^8*y^2-3*x^8*y+x^7*y^2-2*x^6*y
^4-x^6*y^3-x^6*y^2-4*x^6*y+x^5*y^5-x^5*y^4-4*x^5*y^3-2*x^5*y^2+3*x^4*y^5-4*x^4
*y^4+3*x^4*y^3+x^3*y^7-5*x^3*y^6+2*x^3*y^5-3*x^3*y^4-2*x^2*y^8+5*x^2*y^7-2*x^2
*y^6-3*x^2*y^5+x*y^9+3*x*y^8-5*x*y^7-x*y^6+3*x^10-x^9-3*x^8-5*x^7-5*y^7-5*y^8+
3*y^9-3*y^10-2*x^12-2*x^11+5*x^10*y-4*x^5*y^6+3*x^9*y^3-x^6*y^5+2*x^10*y^2-3*y
^11-2*y^12+5*y^7*x^4+x^9*y^2-3*x^8*y^4+3*x^8*y^3-2*x^7*y^5+3*x^7*y^4+x^6*y^6+4
*x^5*y^7+3*y^8*x^3+5*y^10*x+5*x^4*y^8+x^3*y^9+5*x^2*y^10+4*x*y^11)*(3*x+2*y-4*
x^5*y+3*x^6-4*x^5-4*y^2+5*x^3-2*y^4+4*x^2+5*y^5+x^4*y^2+3*x^4*y-3*x^3*y^3-4*x^
3*y-3*x^2*y^4-2*x^2*y^3+2*x^2*y^2-5*x^2*y+4*x*y^5-5*x*y^4+4*x*y^3-4*x*y^2+5*x*
y+3*y^6-x^6*y-3*x^5*y^2+4*x^4*y^3+x^3*y^4+x^2*y^5-2*x^7-5*y^7)*(3-3*x^5-x^4*y+
2*x^4+4*x^3*y^2-5*x^3*y-5*x^3+x^2*y^3+x^2*y^2+2*x^2*y-x^2-2*x*y^4+2*x*y^3-5*x*
y^2-x*y+5*y^5+y^4-2*y^3-y^2-2*y);
noiseF12 := `*`(100,1/14739931544900000*17495583^(1/2)*147399315449^(1/2)*(-\
52471*y-71101*x^5*y+4873*x^6-12972*x^5+14859*y^2-97442*y^3+51358*x^3+84513*y^4
+38208*y^5+89842*x^4*y+47207*x^2*y^3-47598*x^2*y^2-96188*x^2*y+79842*x*y^5+
54598*x*y^4+61632*x*y^3+94748*x^8*y-24051*x^7*y^3+16441*x^7*y-83924*x^6*y+
88504*x^5*y^5+40150*x^5*y^4-15765*x^5*y^3-5751*x^4*y^4-80422*x^3*y^7-1756*x^3*
y^6-83348*x^3*y^4-64591*x^2*y^8+77065*x^2*y^7-78527*x^2*y^5+59098*x^10-36718*x
^9-65637*x^8-32835*x^7-86083*y^7+11352*y^10+15488*x^11*y-14210*x^9*y^3-2570*y^
12+99294*x^8*y^4-87295*x^7*y^5+87576*x^6*y^6-86509*y^10*x-22890*x^3*y^9-45617*
y^13+78880*y^19+35270*y^14-8151*y^18+67630*y^17+92309*x*y^12+80336*x*y^19+
64910*x*y^18-11850*x*y^17-31251*x^2*y^11+31416*x^2*y^12+80386*y^20-35536*x^2*y
^15+62309*x^2*y^18+55947*x^2*y^17+9669*x^2*y^20+42392*x^2*y^13-44253*x^3*y^10-\
67669*x^3*y^11+79973*x^3*y^12+31310*x^3*y^14-92740*x^4*y^9-68442*x^4*y^16-\
26074*x^5*y^8+75502*x^5*y^16+28885*x^5*y^13+66705*x^5*y^15-56294*x^5*y^14+
20103*x^6*y^7+20127*x^6*y^8-93052*x^6*y^9-93139*x^6*y^10-52683*x^6*y^12-79903*
x^6*y^16+98796*x^6*y^13+58807*x^6*y^15-94165*x^6*y^14-71626*x^7*y^6-32781*x^7*
y^7+68849*x^7*y^8+68112*x^7*y^9+16761*x^7*y^12+24325*x^7*y^15+76894*x^8*y^7-\
4552*x^8*y^11-73252*x^8*y^12-10855*x^9*y^4+76944*x^9*y^5-80634*x^9*y^6+80148*x
^9*y^8+38063*x^9*y^10+91437*x^9*y^12-32519*x^10*y^5-92224*x^10*y^6+3869*x^10*y
^9+23065*x^10*y^11+9559*x^11*y^4+36540*x^11*y^5+51292*x^11*y^7-21594*x^11*y^9-\
80148*x^11*y^10-90316*x^12*y-21199*x^12*y^4-93726*x^12*y^5+9984*x^12*y^6+78553
*x^12*y^8-33317*x^12*y^9-8674*x^11*y^8-62223*x^13-44109*x^13*y^2+37513*x^13*y^
4+5603*x^13*y^5-88779*x^13*y^6+94896*x^14*y^2-12592*x^14*y^7+25034*x^15*y-\
89046*x^15*y^2+19019*x^15*y^4+31883*x^15*y^5+67939*x^15*y^6+70650*x^16*y^3+
99852*x^16*y^6+93487*x^17*y+77272*x^17*y^2+84551*x^17*y^3-90525*x^17*y^4-42615
*x^15-9338*x^17+14378*x^18+55815*x^20+55539*x^21-69230*x^18*y^4-92181*x^18*y^3
+82228*x^19*y+33865*x^19*y^3-40471*x^20*y^2-47505*x^21*y+48332*y^18*x^5+57335*
y^23+94724*y^23*x-33837*x^7*y^17-7462*x^13*y^10+54744*x^23-89419*x^24+86266*x^
15*y^8+13761*x^14*y^9-3769*x^15*y^9+3228*x^17*y^6-67630*x^16*y^8+16673*x^18*y^
5+31848*x^18*y^6-58688*x^17*y^7+25447*x^19*y^4-20514*x^20*y^3+43142*x^21*y^2+
47770*x^21*y^3-76212*x^22*y^2+76*x^23*y));