1+20*z+20*y+20*x+190*z^2+380*y*z+190*y^2+380*x*z+380*x*y+190*x^2+1140*z^3+3420*y*z^2+3420*y^2*z+1140*y^3+3420*x*z^2+6840*x*y*z+3420*x*y^2+3420*x^2*z+3420*x^2*y+1140*x^3+4845*z^4+19380*y*z^3+29070*y^2*z^2+19380*y^3*z+4845*y^4+19380*x*z^3+58140*x*y*z^2+58140*x*y^2*z+19380*x*y^3+29070*x^2*z^2+58140*x^2*y*z+29070*x^2*y^2+19380*x^3*z+19380*x^3*y+4845*x^4+15504*z^5+77520*y*z^4+155040*y^2*z^3+155040*y^3*z^2+77520*y^4*z+15504*y^5+77520*x*z^4+310080*x*y*z^3+465120*x*y^2*z^2+310080*x*y^3*z+77520*x*y^4+155040*x^2*z^3+465120*x^2*y*z^2+465120*x^2*y^2*z+155040*x^2*y^3+155040*x^3*z^2+310080*x^3*y*z+155040*x^3*y^2+77520*x^4*z+77520*x^4*y+15504*x^5+38760*z^6+232560*y*z^5+581400*y^2*z^4+775200*y^3*z^3+581400*y^4*z^2+232560*y^5*z+38760*y^6+232560*x*z^5+1162800*x*y*z^4+2325600*x*y^2*z^3+2325600*x*y^3*z^2+1162800*x*y^4*z+232560*x*y^5+581400*x^2*z^4+2325600*x^2*y*z^3+3488400*x^2*y^2*z^2+2325600*x^2*y^3*z+581400*x^2*y^4+775200*x^3*z^3+2325600*x^3*y*z^2+2325600*x^3*y^2*z+775200*x^3*y^3+581400*x^4*z^2+1162800*x^4*y*z+581400*x^4*y^2+232560*x^5*z+232560*x^5*y+38760*x^6+77520*z^7+542640*y*z^6+1627920*y^2*z^5+2713200*y^3*z^4+2713200*y^4*z^3+1627920*y^5*z^2+542640*y^6*z+77520*y^7+542640*x*z^6+3255840*x*y*z^5+8139600*x*y^2*z^4+10852800*x*y^3*z^3+8139600*x*y^4*z^2+3255840*x*y^5*z+542640*x*y^6+1627920*x^2*z^5+8139600*x^2*y*z^4+16279200*x^2*y^2*z^3+16279200*x^2*y^3*z^2+8139600*x^2*y^4*z+1627920*x^2*y^5+2713200*x^3*z^4+10852800*x^3*y*z^3+16279200*x^3*y^2*z^2+10852800*x^3*y^3*z+2713200*x^3*y^4+2713200*x^4*z^3+8139600*x^4*y*z^2+8139600*x^4*y^2*z+2713200*x^4*y^3+1627920*x^5*z^2+3255840*x^5*y*z+1627920*x^5*y^2+542640*x^6*z+542640*x^6*y+77520*x^7+125970*z^8+1007760*y*z^7+3527160*y^2*z^6+7054320*y^3*z^5+8817900*y^4*z^4+7054320*y^5*z^3+3527160*y^6*z^2+1007760*y^7*z+125970*y^8+1007760*x*z^7+7054320*x*y*z^6+21162960*x*y^2*z^5+35271600*x*y^3*z^4+35271600*x*y^4*z^3+21162960*x*y^5*z^2+7054320*x*y^6*z+1007760*x*y^7+3527160*x^2*z^6+21162960*x^2*y*z^5+52907400*x^2*y^2*z^4+70543200*x^2*y^3*z^3+52907400*x^2*y^4*z^2+21162960*x^2*y^5*z+3527160*x^2*y^6+7054320*x^3*z^5+35271600*x^3*y*z^4+70543200*x^3*y^2*z^3+70543200*x^3*y^3*z^2+35271600*x^3*y^4*z+7054320*x^3*y^5+8817900*x^4*z^4+35271600*x^4*y*z^3+52907400*x^4*y^2*z^2+35271600*x^4*y^3*z+8817900*x^4*y^4+7054320*x^5*z^3+21162960*x^5*y*z^2+21162960*x^5*y^2*z+7054320*x^5*y^3+3527160*x^6*z^2+7054320*x^6*y*z+3527160*x^6*y^2+1007760*x^7*z+1007760*x^7*y+125970*x^8+167960*z^9+1511640*y*z^8+6046560*y^2*z^7+14108640*y^3*z^6+21162960*y^4*z^5+21162960*y^5*z^4+14108640*y^6*z^3+6046560*y^7*z^2+1511640*y^8*z+167960*y^9+1511640*x*z^8+12093120*x*y*z^7+42325920*x*y^2*z^6+84651840*x*y^3*z^5+105814800*x*y^4*z^4+84651840*x*y^5*z^3+42325920*x*y^6*z^2+12093120*x*y^7*z+1511640*x*y^8+6046560*x^2*z^7+42325920*x^2*y*z^6+126977760*x^2*y^2*z^5+211629600*x^2*y^3*z^4+211629600*x^2*y^4*z^3+126977760*x^2*y^5*z^2+42325920*x^2*y^6*z+6046560*x^2*y^7+14108640*x^3*z^6+84651840*x^3*y*z^5+211629600*x^3*y^2*z^4+282172800*x^3*y^3*z^3+211629600*x^3*y^4*z^2+84651840*x^3*y^5*z+14108640*x^3*y^6+21162960*x^4*z^5+105814800*x^4*y*z^4+211629600*x^4*y^2*z^3+211629600*x^4*y^3*z^2+105814800*x^4*y^4*z+21162960*x^4*y^5+21162960*x^5*z^4+84651840*x^5*y*z^3+126977760*x^5*y^2*z^2+84651840*x^5*y^3*z+21162960*x^5*y^4+14108640*x^6*z^3+42325920*x^6*y*z^2+42325920*x^6*y^2*z+14108640*x^6*y^3+6046560*x^7*z^2+12093120*x^7*y*z+6046560*x^7*y^2+1511640*x^8*z+1511640*x^8*y+167960*x^9+184756*z^10+1847560*y*z^9+8314020*y^2*z^8+22170720*y^3*z^7+38798760*y^4*z^6+46558512*y^5*z^5+38798760*y^6*z^4+22170720*y^7*z^3+8314020*y^8*z^2+1847560*y^9*z+184756*y^10+1847560*x*z^9+16628040*x*y*z^8+66512160*x*y^2*z^7+155195040*x*y^3*z^6+232792560*x*y^4*z^5+232792560*x*y^5*z^4+155195040*x*y^6*z^3+66512160*x*y^7*z^2+16628040*x*y^8*z+1847560*x*y^9+8314020*x^2*z^8+66512160*x^2*y*z^7+232792560*x^2*y^2*z^6+465585120*x^2*y^3*z^5+581981400*x^2*y^4*z^4+465585120*x^2*y^5*z^3+232792560*x^2*y^6*z^2+66512160*x^2*y^7*z+8314020*x^2*y^8+22170720*x^3*z^7+155195040*x^3*y*z^6+465585120*x^3*y^2*z^5+775975200*x^3*y^3*z^4+775975200*x^3*y^4*z^3+465585120*x^3*y^5*z^2+155195040*x^3*y^6*z+22170720*x^3*y^7+38798760*x^4*z^6+232792560*x^4*y*z^5+581981400*x^4*y^2*z^4+775975200*x^4*y^3*z^3+581981400*x^4*y^4*z^2+232792560*x^4*y^5*z+38798760*x^4*y^6+46558512*x^5*z^5+232792560*x^5*y*z^4+465585120*x^5*y^2*z^3+465585120*x^5*y^3*z^2+232792560*x^5*y^4*z+46558512*x^5*y^5+38798760*x^6*z^4+155195040*x^6*y*z^3+232792560*x^6*y^2*z^2+155195040*x^6*y^3*z+38798760*x^6*y^4+22170720*x^7*z^3+66512160*x^7*y*z^2+66512160*x^7*y^2*z+22170720*x^7*y^3+8314020*x^8*z^2+16628040*x^8*y*z+8314020*x^8*y^2+1847560*x^9*z+1847560*x^9*y+184756*x^10+167960*z^11+1847560*y*z^10+9237800*y^2*z^9+27713400*y^3*z^8+55426800*y^4*z^7+77597520*y^5*z^6+77597520*y^6*z^5+55426800*y^7*z^4+27713400*y^8*z^3+9237800*y^9*z^2+1847560*y^10*z+167960*y^11+1847560*x*z^10+18475600*x*y*z^9+83140200*x*y^2*z^8+221707200*x*y^3*z^7+387987600*x*y^4*z^6+465585120*x*y^5*z^5+387987600*x*y^6*z^4+221707200*x*y^7*z^3+83140200*x*y^8*z^2+18475600*x*y^9*z+1847560*x*y^10+9237800*x^2*z^9+83140200*x^2*y*z^8+332560800*x^2*y^2*z^7+775975200*x^2*y^3*z^6+1163962800*x^2*y^4*z^5+1163962800*x^2*y^5*z^4+775975200*x^2*y^6*z^3+332560800*x^2*y^7*z^2+83140200*x^2*y^8*z+9237800*x^2*y^9+27713400*x^3*z^8+221707200*x^3*y*z^7+775975200*x^3*y^2*z^6+1551950400*x^3*y^3*z^5+1939938000*x^3*y^4*z^4+1551950400*x^3*y^5*z^3+775975200*x^3*y^6*z^2+221707200*x^3*y^7*z+27713400*x^3*y^8+55426800*x^4*z^7+387987600*x^4*y*z^6+1163962800*x^4*y^2*z^5+1939938000*x^4*y^3*z^4+1939938000*x^4*y^4*z^3+1163962800*x^4*y^5*z^2+387987600*x^4*y^6*z+55426800*x^4*y^7+77597520*x^5*z^6+465585120*x^5*y*z^5+1163962800*x^5*y^2*z^4+1551950400*x^5*y^3*z^3+1163962800*x^5*y^4*z^2+465585120*x^5*y^5*z+77597520*x^5*y^6+77597520*x^6*z^5+387987600*x^6*y*z^4+775975200*x^6*y^2*z^3+775975200*x^6*y^3*z^2+387987600*x^6*y^4*z+77597520*x^6*y^5+55426800*x^7*z^4+221707200*x^7*y*z^3+332560800*x^7*y^2*z^2+221707200*x^7*y^3*z+55426800*x^7*y^4+27713400*x^8*z^3+83140200*x^8*y*z^2+83140200*x^8*y^2*z+27713400*x^8*y^3+9237800*x^9*z^2+18475600*x^9*y*z+9237800*x^9*y^2+1847560*x^10*z+1847560*x^10*y+167960*x^11+125970*z^12+1511640*y*z^11+8314020*y^2*z^10+27713400*y^3*z^9+62355150*y^4*z^8+99768240*y^5*z^7+116396280*y^6*z^6+99768240*y^7*z^5+62355150*y^8*z^4+27713400*y^9*z^3+8314020*y^10*z^2+1511640*y^11*z+125970*y^12+1511640*x*z^11+16628040*x*y*z^10+83140200*x*y^2*z^9+249420600*x*y^3*z^8+498841200*x*y^4*z^7+698377680*x*y^5*z^6+698377680*x*y^6*z^5+498841200*x*y^7*z^4+249420600*x*y^8*z^3+83140200*x*y^9*z^2+16628040*x*y^10*z+1511640*x*y^11+8314020*x^2*z^10+83140200*x^2*y*z^9+374130900*x^2*y^2*z^8+997682400*x^2*y^3*z^7+1745944200*x^2*y^4*z^6+2095133040*x^2*y^5*z^5+1745944200*x^2*y^6*z^4+997682400*x^2*y^7*z^3+374130900*x^2*y^8*z^2+83140200*x^2*y^9*z+8314020*x^2*y^10+27713400*x^3*z^9+249420600*x^3*y*z^8+997682400*x^3*y^2*z^7+2327925600*x^3*y^3*z^6+3491888400*x^3*y^4*z^5+3491888400*x^3*y^5*z^4+2327925600*x^3*y^6*z^3+997682400*x^3*y^7*z^2+249420600*x^3*y^8*z+27713400*x^3*y^9+62355150*x^4*z^8+498841200*x^4*y*z^7+1745944200*x^4*y^2*z^6+3491888400*x^4*y^3*z^5+4364860500*x^4*y^4*z^4+3491888400*x^4*y^5*z^3+1745944200*x^4*y^6*z^2+498841200*x^4*y^7*z+62355150*x^4*y^8+99768240*x^5*z^7+698377680*x^5*y*z^6+2095133040*x^5*y^2*z^5+3491888400*x^5*y^3*z^4+3491888400*x^5*y^4*z^3+2095133040*x^5*y^5*z^2+698377680*x^5*y^6*z+99768240*x^5*y^7+116396280*x^6*z^6+698377680*x^6*y*z^5+1745944200*x^6*y^2*z^4+2327925600*x^6*y^3*z^3+1745944200*x^6*y^4*z^2+698377680*x^6*y^5*z+116396280*x^6*y^6+99768240*x^7*z^5+498841200*x^7*y*z^4+997682400*x^7*y^2*z^3+997682400*x^7*y^3*z^2+498841200*x^7*y^4*z+99768240*x^7*y^5+62355150*x^8*z^4+249420600*x^8*y*z^3+374130900*x^8*y^2*z^2+249420600*x^8*y^3*z+62355150*x^8*y^4+27713400*x^9*z^3+83140200*x^9*y*z^2+83140200*x^9*y^2*z+27713400*x^9*y^3+8314020*x^10*z^2+16628040*x^10*y*z+8314020*x^10*y^2+1511640*x^11*z+1511640*x^11*y+125970*x^12+77520*z^13+1007760*y*z^12+6046560*y^2*z^11+22170720*y^3*z^10+55426800*y^4*z^9+99768240*y^5*z^8+133024320*y^6*z^7+133024320*y^7*z^6+99768240*y^8*z^5+55426800*y^9*z^4+22170720*y^10*z^3+6046560*y^11*z^2+1007760*y^12*z+77520*y^13+1007760*x*z^12+12093120*x*y*z^11+66512160*x*y^2*z^10+221707200*x*y^3*z^9+498841200*x*y^4*z^8+798145920*x*y^5*z^7+931170240*x*y^6*z^6+798145920*x*y^7*z^5+498841200*x*y^8*z^4+221707200*x*y^9*z^3+66512160*x*y^10*z^2+12093120*x*y^11*z+1007760*x*y^12+6046560*x^2*z^11+66512160*x^2*y*z^10+332560800*x^2*y^2*z^9+997682400*x^2*y^3*z^8+1995364800*x^2*y^4*z^7+2793510720*x^2*y^5*z^6+2793510720*x^2*y^6*z^5+1995364800*x^2*y^7*z^4+997682400*x^2*y^8*z^3+332560800*x^2*y^9*z^2+66512160*x^2*y^10*z+6046560*x^2*y^11+22170720*x^3*z^10+221707200*x^3*y*z^9+997682400*x^3*y^2*z^8+2660486400*x^3*y^3*z^7+4655851200*x^3*y^4*z^6+5587021440*x^3*y^5*z^5+4655851200*x^3*y^6*z^4+2660486400*x^3*y^7*z^3+997682400*x^3*y^8*z^2+221707200*x^3*y^9*z+22170720*x^3*y^10+55426800*x^4*z^9+498841200*x^4*y*z^8+1995364800*x^4*y^2*z^7+4655851200*x^4*y^3*z^6+6983776800*x^4*y^4*z^5+6983776800*x^4*y^5*z^4+4655851200*x^4*y^6*z^3+1995364800*x^4*y^7*z^2+498841200*x^4*y^8*z+55426800*x^4*y^9+99768240*x^5*z^8+798145920*x^5*y*z^7+2793510720*x^5*y^2*z^6+5587021440*x^5*y^3*z^5+6983776800*x^5*y^4*z^4+5587021440*x^5*y^5*z^3+2793510720*x^5*y^6*z^2+798145920*x^5*y^7*z+99768240*x^5*y^8+133024320*x^6*z^7+931170240*x^6*y*z^6+2793510720*x^6*y^2*z^5+4655851200*x^6*y^3*z^4+4655851200*x^6*y^4*z^3+2793510720*x^6*y^5*z^2+931170240*x^6*y^6*z+133024320*x^6*y^7+133024320*x^7*z^6+798145920*x^7*y*z^5+1995364800*x^7*y^2*z^4+2660486400*x^7*y^3*z^3+1995364800*x^7*y^4*z^2+798145920*x^7*y^5*z+133024320*x^7*y^6+99768240*x^8*z^5+498841200*x^8*y*z^4+997682400*x^8*y^2*z^3+997682400*x^8*y^3*z^2+498841200*x^8*y^4*z+99768240*x^8*y^5+55426800*x^9*z^4+221707200*x^9*y*z^3+332560800*x^9*y^2*z^2+221707200*x^9*y^3*z+55426800*x^9*y^4+22170720*x^10*z^3+66512160*x^10*y*z^2+66512160*x^10*y^2*z+22170720*x^10*y^3+6046560*x^11*z^2+12093120*x^11*y*z+6046560*x^11*y^2+1007760*x^12*z+1007760*x^12*y+77520*x^13+38760*z^14+542640*y*z^13+3527160*y^2*z^12+14108640*y^3*z^11+38798760*y^4*z^10+77597520*y^5*z^9+116396280*y^6*z^8+133024320*y^7*z^7+116396280*y^8*z^6+77597520*y^9*z^5+38798760*y^10*z^4+14108640*y^11*z^3+3527160*y^12*z^2+542640*y^13*z+38760*y^14+542640*x*z^13+7054320*x*y*z^12+42325920*x*y^2*z^11+155195040*x*y^3*z^10+387987600*x*y^4*z^9+698377680*x*y^5*z^8+931170240*x*y^6*z^7+931170240*x*y^7*z^6+698377680*x*y^8*z^5+387987600*x*y^9*z^4+155195040*x*y^10*z^3+42325920*x*y^11*z^2+7054320*x*y^12*z+542640*x*y^13+3527160*x^2*z^12+42325920*x^2*y*z^11+232792560*x^2*y^2*z^10+775975200*x^2*y^3*z^9+1745944200*x^2*y^4*z^8+2793510720*x^2*y^5*z^7+3259095840*x^2*y^6*z^6+2793510720*x^2*y^7*z^5+1745944200*x^2*y^8*z^4+775975200*x^2*y^9*z^3+232792560*x^2*y^10*z^2+42325920*x^2*y^11*z+3527160*x^2*y^12+14108640*x^3*z^11+155195040*x^3*y*z^10+775975200*x^3*y^2*z^9+2327925600*x^3*y^3*z^8+4655851200*x^3*y^4*z^7+6518191680*x^3*y^5*z^6+6518191680*x^3*y^6*z^5+4655851200*x^3*y^7*z^4+2327925600*x^3*y^8*z^3+775975200*x^3*y^9*z^2+155195040*x^3*y^10*z+14108640*x^3*y^11+38798760*x^4*z^10+387987600*x^4*y*z^9+1745944200*x^4*y^2*z^8+4655851200*x^4*y^3*z^7+8147739600*x^4*y^4*z^6+9777287520*x^4*y^5*z^5+8147739600*x^4*y^6*z^4+4655851200*x^4*y^7*z^3+1745944200*x^4*y^8*z^2+387987600*x^4*y^9*z+38798760*x^4*y^10+77597520*x^5*z^9+698377680*x^5*y*z^8+2793510720*x^5*y^2*z^7+6518191680*x^5*y^3*z^6+9777287520*x^5*y^4*z^5+9777287520*x^5*y^5*z^4+6518191680*x^5*y^6*z^3+2793510720*x^5*y^7*z^2+698377680*x^5*y^8*z+77597520*x^5*y^9+116396280*x^6*z^8+931170240*x^6*y*z^7+3259095840*x^6*y^2*z^6+6518191680*x^6*y^3*z^5+8147739600*x^6*y^4*z^4+6518191680*x^6*y^5*z^3+3259095840*x^6*y^6*z^2+931170240*x^6*y^7*z+116396280*x^6*y^8+133024320*x^7*z^7+931170240*x^7*y*z^6+2793510720*x^7*y^2*z^5+4655851200*x^7*y^3*z^4+4655851200*x^7*y^4*z^3+2793510720*x^7*y^5*z^2+931170240*x^7*y^6*z+133024320*x^7*y^7+116396280*x^8*z^6+698377680*x^8*y*z^5+1745944200*x^8*y^2*z^4+2327925600*x^8*y^3*z^3+1745944200*x^8*y^4*z^2+698377680*x^8*y^5*z+116396280*x^8*y^6+77597520*x^9*z^5+387987600*x^9*y*z^4+775975200*x^9*y^2*z^3+775975200*x^9*y^3*z^2+387987600*x^9*y^4*z+77597520*x^9*y^5+38798760*x^10*z^4+155195040*x^10*y*z^3+232792560*x^10*y^2*z^2+155195040*x^10*y^3*z+38798760*x^10*y^4+14108640*x^11*z^3+42325920*x^11*y*z^2+42325920*x^11*y^2*z+14108640*x^11*y^3+3527160*x^12*z^2+7054320*x^12*y*z+3527160*x^12*y^2+542640*x^13*z+542640*x^13*y+38760*x^14+15504*z^15+232560*y*z^14+1627920*y^2*z^13+7054320*y^3*z^12+21162960*y^4*z^11+46558512*y^5*z^10+77597520*y^6*z^9+99768240*y^7*z^8+99768240*y^8*z^7+77597520*y^9*z^6+46558512*y^10*z^5+21162960*y^11*z^4+7054320*y^12*z^3+1627920*y^13*z^2+232560*y^14*z+15504*y^15+232560*x*z^14+3255840*x*y*z^13+21162960*x*y^2*z^12+84651840*x*y^3*z^11+232792560*x*y^4*z^10+465585120*x*y^5*z^9+698377680*x*y^6*z^8+798145920*x*y^7*z^7+698377680*x*y^8*z^6+465585120*x*y^9*z^5+232792560*x*y^10*z^4+84651840*x*y^11*z^3+21162960*x*y^12*z^2+3255840*x*y^13*z+232560*x*y^14+1627920*x^2*z^13+21162960*x^2*y*z^12+126977760*x^2*y^2*z^11+465585120*x^2*y^3*z^10+1163962800*x^2*y^4*z^9+2095133040*x^2*y^5*z^8+2793510720*x^2*y^6*z^7+2793510720*x^2*y^7*z^6+2095133040*x^2*y^8*z^5+1163962800*x^2*y^9*z^4+465585120*x^2*y^10*z^3+126977760*x^2*y^11*z^2+21162960*x^2*y^12*z+1627920*x^2*y^13+7054320*x^3*z^12+84651840*x^3*y*z^11+465585120*x^3*y^2*z^10+1551950400*x^3*y^3*z^9+3491888400*x^3*y^4*z^8+5587021440*x^3*y^5*z^7+6518191680*x^3*y^6*z^6+5587021440*x^3*y^7*z^5+3491888400*x^3*y^8*z^4+1551950400*x^3*y^9*z^3+465585120*x^3*y^10*z^2+84651840*x^3*y^11*z+7054320*x^3*y^12+21162960*x^4*z^11+232792560*x^4*y*z^10+1163962800*x^4*y^2*z^9+3491888400*x^4*y^3*z^8+6983776800*x^4*y^4*z^7+9777287520*x^4*y^5*z^6+9777287520*x^4*y^6*z^5+6983776800*x^4*y^7*z^4+3491888400*x^4*y^8*z^3+1163962800*x^4*y^9*z^2+232792560*x^4*y^10*z+21162960*x^4*y^11+46558512*x^5*z^10+465585120*x^5*y*z^9+2095133040*x^5*y^2*z^8+5587021440*x^5*y^3*z^7+9777287520*x^5*y^4*z^6+11732745024*x^5*y^5*z^5+9777287520*x^5*y^6*z^4+5587021440*x^5*y^7*z^3+2095133040*x^5*y^8*z^2+465585120*x^5*y^9*z+46558512*x^5*y^10+77597520*x^6*z^9+698377680*x^6*y*z^8+2793510720*x^6*y^2*z^7+6518191680*x^6*y^3*z^6+9777287520*x^6*y^4*z^5+9777287520*x^6*y^5*z^4+6518191680*x^6*y^6*z^3+2793510720*x^6*y^7*z^2+698377680*x^6*y^8*z+77597520*x^6*y^9+99768240*x^7*z^8+798145920*x^7*y*z^7+2793510720*x^7*y^2*z^6+5587021440*x^7*y^3*z^5+6983776800*x^7*y^4*z^4+5587021440*x^7*y^5*z^3+2793510720*x^7*y^6*z^2+798145920*x^7*y^7*z+99768240*x^7*y^8+99768240*x^8*z^7+698377680*x^8*y*z^6+2095133040*x^8*y^2*z^5+3491888400*x^8*y^3*z^4+3491888400*x^8*y^4*z^3+2095133040*x^8*y^5*z^2+698377680*x^8*y^6*z+99768240*x^8*y^7+77597520*x^9*z^6+465585120*x^9*y*z^5+1163962800*x^9*y^2*z^4+1551950400*x^9*y^3*z^3+1163962800*x^9*y^4*z^2+465585120*x^9*y^5*z+77597520*x^9*y^6+46558512*x^10*z^5+232792560*x^10*y*z^4+465585120*x^10*y^2*z^3+465585120*x^10*y^3*z^2+232792560*x^10*y^4*z+46558512*x^10*y^5+21162960*x^11*z^4+84651840*x^11*y*z^3+126977760*x^11*y^2*z^2+84651840*x^11*y^3*z+21162960*x^11*y^4+7054320*x^12*z^3+21162960*x^12*y*z^2+21162960*x^12*y^2*z+7054320*x^12*y^3+1627920*x^13*z^2+3255840*x^13*y*z+1627920*x^13*y^2+232560*x^14*z+232560*x^14*y+15504*x^15+4845*z^16+77520*y*z^15+581400*y^2*z^14+2713200*y^3*z^13+8817900*y^4*z^12+21162960*y^5*z^11+38798760*y^6*z^10+55426800*y^7*z^9+62355150*y^8*z^8+55426800*y^9*z^7+38798760*y^10*z^6+21162960*y^11*z^5+8817900*y^12*z^4+2713200*y^13*z^3+581400*y^14*z^2+77520*y^15*z+4845*y^16+77520*x*z^15+1162800*x*y*z^14+8139600*x*y^2*z^13+35271600*x*y^3*z^12+105814800*x*y^4*z^11+232792560*x*y^5*z^10+387987600*x*y^6*z^9+498841200*x*y^7*z^8+498841200*x*y^8*z^7+387987600*x*y^9*z^6+232792560*x*y^10*z^5+105814800*x*y^11*z^4+35271600*x*y^12*z^3+8139600*x*y^13*z^2+1162800*x*y^14*z+77520*x*y^15+581400*x^2*z^14+8139600*x^2*y*z^13+52907400*x^2*y^2*z^12+211629600*x^2*y^3*z^11+581981400*x^2*y^4*z^10+1163962800*x^2*y^5*z^9+1745944200*x^2*y^6*z^8+1995364800*x^2*y^7*z^7+1745944200*x^2*y^8*z^6+1163962800*x^2*y^9*z^5+581981400*x^2*y^10*z^4+211629600*x^2*y^11*z^3+52907400*x^2*y^12*z^2+8139600*x^2*y^13*z+581400*x^2*y^14+2713200*x^3*z^13+35271600*x^3*y*z^12+211629600*x^3*y^2*z^11+775975200*x^3*y^3*z^10+1939938000*x^3*y^4*z^9+3491888400*x^3*y^5*z^8+4655851200*x^3*y^6*z^7+4655851200*x^3*y^7*z^6+3491888400*x^3*y^8*z^5+1939938000*x^3*y^9*z^4+775975200*x^3*y^10*z^3+211629600*x^3*y^11*z^2+35271600*x^3*y^12*z+2713200*x^3*y^13+8817900*x^4*z^12+105814800*x^4*y*z^11+581981400*x^4*y^2*z^10+1939938000*x^4*y^3*z^9+4364860500*x^4*y^4*z^8+6983776800*x^4*y^5*z^7+8147739600*x^4*y^6*z^6+6983776800*x^4*y^7*z^5+4364860500*x^4*y^8*z^4+1939938000*x^4*y^9*z^3+581981400*x^4*y^10*z^2+105814800*x^4*y^11*z+8817900*x^4*y^12+21162960*x^5*z^11+232792560*x^5*y*z^10+1163962800*x^5*y^2*z^9+3491888400*x^5*y^3*z^8+6983776800*x^5*y^4*z^7+9777287520*x^5*y^5*z^6+9777287520*x^5*y^6*z^5+6983776800*x^5*y^7*z^4+3491888400*x^5*y^8*z^3+1163962800*x^5*y^9*z^2+232792560*x^5*y^10*z+21162960*x^5*y^11+38798760*x^6*z^10+387987600*x^6*y*z^9+1745944200*x^6*y^2*z^8+4655851200*x^6*y^3*z^7+8147739600*x^6*y^4*z^6+9777287520*x^6*y^5*z^5+8147739600*x^6*y^6*z^4+4655851200*x^6*y^7*z^3+1745944200*x^6*y^8*z^2+387987600*x^6*y^9*z+38798760*x^6*y^10+55426800*x^7*z^9+498841200*x^7*y*z^8+1995364800*x^7*y^2*z^7+4655851200*x^7*y^3*z^6+6983776800*x^7*y^4*z^5+6983776800*x^7*y^5*z^4+4655851200*x^7*y^6*z^3+1995364800*x^7*y^7*z^2+498841200*x^7*y^8*z+55426800*x^7*y^9+62355150*x^8*z^8+498841200*x^8*y*z^7+1745944200*x^8*y^2*z^6+3491888400*x^8*y^3*z^5+4364860500*x^8*y^4*z^4+3491888400*x^8*y^5*z^3+1745944200*x^8*y^6*z^2+498841200*x^8*y^7*z+62355150*x^8*y^8+55426800*x^9*z^7+387987600*x^9*y*z^6+1163962800*x^9*y^2*z^5+1939938000*x^9*y^3*z^4+1939938000*x^9*y^4*z^3+1163962800*x^9*y^5*z^2+387987600*x^9*y^6*z+55426800*x^9*y^7+38798760*x^10*z^6+232792560*x^10*y*z^5+581981400*x^10*y^2*z^4+775975200*x^10*y^3*z^3+581981400*x^10*y^4*z^2+232792560*x^10*y^5*z+38798760*x^10*y^6+21162960*x^11*z^5+105814800*x^11*y*z^4+211629600*x^11*y^2*z^3+211629600*x^11*y^3*z^2+105814800*x^11*y^4*z+21162960*x^11*y^5+8817900*x^12*z^4+35271600*x^12*y*z^3+52907400*x^12*y^2*z^2+35271600*x^12*y^3*z+8817900*x^12*y^4+2713200*x^13*z^3+8139600*x^13*y*z^2+8139600*x^13*y^2*z+2713200*x^13*y^3+581400*x^14*z^2+1162800*x^14*y*z+581400*x^14*y^2+77520*x^15*z+77520*x^15*y+4845*x^16+1140*z^17+19380*y*z^16+155040*y^2*z^15+775200*y^3*z^14+2713200*y^4*z^13+7054320*y^5*z^12+14108640*y^6*z^11+22170720*y^7*z^10+27713400*y^8*z^9+27713400*y^9*z^8+22170720*y^10*z^7+14108640*y^11*z^6+7054320*y^12*z^5+2713200*y^13*z^4+775200*y^14*z^3+155040*y^15*z^2+19380*y^16*z+1140*y^17+19380*x*z^16+310080*x*y*z^15+2325600*x*y^2*z^14+10852800*x*y^3*z^13+35271600*x*y^4*z^12+84651840*x*y^5*z^11+155195040*x*y^6*z^10+221707200*x*y^7*z^9+249420600*x*y^8*z^8+221707200*x*y^9*z^7+155195040*x*y^10*z^6+84651840*x*y^11*z^5+35271600*x*y^12*z^4+10852800*x*y^13*z^3+2325600*x*y^14*z^2+310080*x*y^15*z+19380*x*y^16+155040*x^2*z^15+2325600*x^2*y*z^14+16279200*x^2*y^2*z^13+70543200*x^2*y^3*z^12+211629600*x^2*y^4*z^11+465585120*x^2*y^5*z^10+775975200*x^2*y^6*z^9+997682400*x^2*y^7*z^8+997682400*x^2*y^8*z^7+775975200*x^2*y^9*z^6+465585120*x^2*y^10*z^5+211629600*x^2*y^11*z^4+70543200*x^2*y^12*z^3+16279200*x^2*y^13*z^2+2325600*x^2*y^14*z+155040*x^2*y^15+775200*x^3*z^14+10852800*x^3*y*z^13+70543200*x^3*y^2*z^12+282172800*x^3*y^3*z^11+775975200*x^3*y^4*z^10+1551950400*x^3*y^5*z^9+2327925600*x^3*y^6*z^8+2660486400*x^3*y^7*z^7+2327925600*x^3*y^8*z^6+1551950400*x^3*y^9*z^5+775975200*x^3*y^10*z^4+282172800*x^3*y^11*z^3+70543200*x^3*y^12*z^2+10852800*x^3*y^13*z+775200*x^3*y^14+2713200*x^4*z^13+35271600*x^4*y*z^12+211629600*x^4*y^2*z^11+775975200*x^4*y^3*z^10+1939938000*x^4*y^4*z^9+3491888400*x^4*y^5*z^8+4655851200*x^4*y^6*z^7+4655851200*x^4*y^7*z^6+3491888400*x^4*y^8*z^5+1939938000*x^4*y^9*z^4+775975200*x^4*y^10*z^3+211629600*x^4*y^11*z^2+35271600*x^4*y^12*z+2713200*x^4*y^13+7054320*x^5*z^12+84651840*x^5*y*z^11+465585120*x^5*y^2*z^10+1551950400*x^5*y^3*z^9+3491888400*x^5*y^4*z^8+5587021440*x^5*y^5*z^7+6518191680*x^5*y^6*z^6+5587021440*x^5*y^7*z^5+3491888400*x^5*y^8*z^4+1551950400*x^5*y^9*z^3+465585120*x^5*y^10*z^2+84651840*x^5*y^11*z+7054320*x^5*y^12+14108640*x^6*z^11+155195040*x^6*y*z^10+775975200*x^6*y^2*z^9+2327925600*x^6*y^3*z^8+4655851200*x^6*y^4*z^7+6518191680*x^6*y^5*z^6+6518191680*x^6*y^6*z^5+4655851200*x^6*y^7*z^4+2327925600*x^6*y^8*z^3+775975200*x^6*y^9*z^2+155195040*x^6*y^10*z+14108640*x^6*y^11+22170720*x^7*z^10+221707200*x^7*y*z^9+997682400*x^7*y^2*z^8+2660486400*x^7*y^3*z^7+4655851200*x^7*y^4*z^6+5587021440*x^7*y^5*z^5+4655851200*x^7*y^6*z^4+2660486400*x^7*y^7*z^3+997682400*x^7*y^8*z^2+221707200*x^7*y^9*z+22170720*x^7*y^10+27713400*x^8*z^9+249420600*x^8*y*z^8+997682400*x^8*y^2*z^7+2327925600*x^8*y^3*z^6+3491888400*x^8*y^4*z^5+3491888400*x^8*y^5*z^4+2327925600*x^8*y^6*z^3+997682400*x^8*y^7*z^2+249420600*x^8*y^8*z+27713400*x^8*y^9+27713400*x^9*z^8+221707200*x^9*y*z^7+775975200*x^9*y^2*z^6+1551950400*x^9*y^3*z^5+1939938000*x^9*y^4*z^4+1551950400*x^9*y^5*z^3+775975200*x^9*y^6*z^2+221707200*x^9*y^7*z+27713400*x^9*y^8+22170720*x^10*z^7+155195040*x^10*y*z^6+465585120*x^10*y^2*z^5+775975200*x^10*y^3*z^4+775975200*x^10*y^4*z^3+465585120*x^10*y^5*z^2+155195040*x^10*y^6*z+22170720*x^10*y^7+14108640*x^11*z^6+84651840*x^11*y*z^5+211629600*x^11*y^2*z^4+282172800*x^11*y^3*z^3+211629600*x^11*y^4*z^2+84651840*x^11*y^5*z+14108640*x^11*y^6+7054320*x^12*z^5+35271600*x^12*y*z^4+70543200*x^12*y^2*z^3+70543200*x^12*y^3*z^2+35271600*x^12*y^4*z+7054320*x^12*y^5+2713200*x^13*z^4+10852800*x^13*y*z^3+16279200*x^13*y^2*z^2+10852800*x^13*y^3*z+2713200*x^13*y^4+775200*x^14*z^3+2325600*x^14*y*z^2+2325600*x^14*y^2*z+775200*x^14*y^3+155040*x^15*z^2+310080*x^15*y*z+155040*x^15*y^2+19380*x^16*z+19380*x^16*y+1140*x^17+190*z^18+3420*y*z^17+29070*y^2*z^16+155040*y^3*z^15+581400*y^4*z^14+1627920*y^5*z^13+3527160*y^6*z^12+6046560*y^7*z^11+8314020*y^8*z^10+9237800*y^9*z^9+8314020*y^10*z^8+6046560*y^11*z^7+3527160*y^12*z^6+1627920*y^13*z^5+581400*y^14*z^4+155040*y^15*z^3+29070*y^16*z^2+3420*y^17*z+190*y^18+3420*x*z^17+58140*x*y*z^16+465120*x*y^2*z^15+2325600*x*y^3*z^14+8139600*x*y^4*z^13+21162960*x*y^5*z^12+42325920*x*y^6*z^11+66512160*x*y^7*z^10+83140200*x*y^8*z^9+83140200*x*y^9*z^8+66512160*x*y^10*z^7+42325920*x*y^11*z^6+21162960*x*y^12*z^5+8139600*x*y^13*z^4+2325600*x*y^14*z^3+465120*x*y^15*z^2+58140*x*y^16*z+3420*x*y^17+29070*x^2*z^16+465120*x^2*y*z^15+3488400*x^2*y^2*z^14+16279200*x^2*y^3*z^13+52907400*x^2*y^4*z^12+126977760*x^2*y^5*z^11+232792560*x^2*y^6*z^10+332560800*x^2*y^7*z^9+374130900*x^2*y^8*z^8+332560800*x^2*y^9*z^7+232792560*x^2*y^10*z^6+126977760*x^2*y^11*z^5+52907400*x^2*y^12*z^4+16279200*x^2*y^13*z^3+3488400*x^2*y^14*z^2+465120*x^2*y^15*z+29070*x^2*y^16+155040*x^3*z^15+2325600*x^3*y*z^14+16279200*x^3*y^2*z^13+70543200*x^3*y^3*z^12+211629600*x^3*y^4*z^11+465585120*x^3*y^5*z^10+775975200*x^3*y^6*z^9+997682400*x^3*y^7*z^8+997682400*x^3*y^8*z^7+775975200*x^3*y^9*z^6+465585120*x^3*y^10*z^5+211629600*x^3*y^11*z^4+70543200*x^3*y^12*z^3+16279200*x^3*y^13*z^2+2325600*x^3*y^14*z+155040*x^3*y^15+581400*x^4*z^14+8139600*x^4*y*z^13+52907400*x^4*y^2*z^12+211629600*x^4*y^3*z^11+581981400*x^4*y^4*z^10+1163962800*x^4*y^5*z^9+1745944200*x^4*y^6*z^8+1995364800*x^4*y^7*z^7+1745944200*x^4*y^8*z^6+1163962800*x^4*y^9*z^5+581981400*x^4*y^10*z^4+211629600*x^4*y^11*z^3+52907400*x^4*y^12*z^2+8139600*x^4*y^13*z+581400*x^4*y^14+1627920*x^5*z^13+21162960*x^5*y*z^12+126977760*x^5*y^2*z^11+465585120*x^5*y^3*z^10+1163962800*x^5*y^4*z^9+2095133040*x^5*y^5*z^8+2793510720*x^5*y^6*z^7+2793510720*x^5*y^7*z^6+2095133040*x^5*y^8*z^5+1163962800*x^5*y^9*z^4+465585120*x^5*y^10*z^3+126977760*x^5*y^11*z^2+21162960*x^5*y^12*z+1627920*x^5*y^13+3527160*x^6*z^12+42325920*x^6*y*z^11+232792560*x^6*y^2*z^10+775975200*x^6*y^3*z^9+1745944200*x^6*y^4*z^8+2793510720*x^6*y^5*z^7+3259095840*x^6*y^6*z^6+2793510720*x^6*y^7*z^5+1745944200*x^6*y^8*z^4+775975200*x^6*y^9*z^3+232792560*x^6*y^10*z^2+42325920*x^6*y^11*z+3527160*x^6*y^12+6046560*x^7*z^11+66512160*x^7*y*z^10+332560800*x^7*y^2*z^9+997682400*x^7*y^3*z^8+1995364800*x^7*y^4*z^7+2793510720*x^7*y^5*z^6+2793510720*x^7*y^6*z^5+1995364800*x^7*y^7*z^4+997682400*x^7*y^8*z^3+332560800*x^7*y^9*z^2+66512160*x^7*y^10*z+6046560*x^7*y^11+8314020*x^8*z^10+83140200*x^8*y*z^9+374130900*x^8*y^2*z^8+997682400*x^8*y^3*z^7+1745944200*x^8*y^4*z^6+2095133040*x^8*y^5*z^5+1745944200*x^8*y^6*z^4+997682400*x^8*y^7*z^3+374130900*x^8*y^8*z^2+83140200*x^8*y^9*z+8314020*x^8*y^10+9237800*x^9*z^9+83140200*x^9*y*z^8+332560800*x^9*y^2*z^7+775975200*x^9*y^3*z^6+1163962800*x^9*y^4*z^5+1163962800*x^9*y^5*z^4+775975200*x^9*y^6*z^3+332560800*x^9*y^7*z^2+83140200*x^9*y^8*z+9237800*x^9*y^9+8314020*x^10*z^8+66512160*x^10*y*z^7+232792560*x^10*y^2*z^6+465585120*x^10*y^3*z^5+581981400*x^10*y^4*z^4+465585120*x^10*y^5*z^3+232792560*x^10*y^6*z^2+66512160*x^10*y^7*z+8314020*x^10*y^8+6046560*x^11*z^7+42325920*x^11*y*z^6+126977760*x^11*y^2*z^5+211629600*x^11*y^3*z^4+211629600*x^11*y^4*z^3+126977760*x^11*y^5*z^2+42325920*x^11*y^6*z+6046560*x^11*y^7+3527160*x^12*z^6+21162960*x^12*y*z^5+52907400*x^12*y^2*z^4+70543200*x^12*y^3*z^3+52907400*x^12*y^4*z^2+21162960*x^12*y^5*z+3527160*x^12*y^6+1627920*x^13*z^5+8139600*x^13*y*z^4+16279200*x^13*y^2*z^3+16279200*x^13*y^3*z^2+8139600*x^13*y^4*z+1627920*x^13*y^5+581400*x^14*z^4+2325600*x^14*y*z^3+3488400*x^14*y^2*z^2+2325600*x^14*y^3*z+581400*x^14*y^4+155040*x^15*z^3+465120*x^15*y*z^2+465120*x^15*y^2*z+155040*x^15*y^3+29070*x^16*z^2+58140*x^16*y*z+29070*x^16*y^2+3420*x^17*z+3420*x^17*y+190*x^18+20*z^19+380*y*z^18+3420*y^2*z^17+19380*y^3*z^16+77520*y^4*z^15+232560*y^5*z^14+542640*y^6*z^13+1007760*y^7*z^12+1511640*y^8*z^11+1847560*y^9*z^10+1847560*y^10*z^9+1511640*y^11*z^8+1007760*y^12*z^7+542640*y^13*z^6+232560*y^14*z^5+77520*y^15*z^4+19380*y^16*z^3+3420*y^17*z^2+380*y^18*z+20*y^19+380*x*z^18+6840*x*y*z^17+58140*x*y^2*z^16+310080*x*y^3*z^15+1162800*x*y^4*z^14+3255840*x*y^5*z^13+7054320*x*y^6*z^12+12093120*x*y^7*z^11+16628040*x*y^8*z^10+18475600*x*y^9*z^9+16628040*x*y^10*z^8+12093120*x*y^11*z^7+7054320*x*y^12*z^6+3255840*x*y^13*z^5+1162800*x*y^14*z^4+310080*x*y^15*z^3+58140*x*y^16*z^2+6840*x*y^17*z+380*x*y^18+3420*x^2*z^17+58140*x^2*y*z^16+465120*x^2*y^2*z^15+2325600*x^2*y^3*z^14+8139600*x^2*y^4*z^13+21162960*x^2*y^5*z^12+42325920*x^2*y^6*z^11+66512160*x^2*y^7*z^10+83140200*x^2*y^8*z^9+83140200*x^2*y^9*z^8+66512160*x^2*y^10*z^7+42325920*x^2*y^11*z^6+21162960*x^2*y^12*z^5+8139600*x^2*y^13*z^4+2325600*x^2*y^14*z^3+465120*x^2*y^15*z^2+58140*x^2*y^16*z+3420*x^2*y^17+19380*x^3*z^16+310080*x^3*y*z^15+2325600*x^3*y^2*z^14+10852800*x^3*y^3*z^13+35271600*x^3*y^4*z^12+84651840*x^3*y^5*z^11+155195040*x^3*y^6*z^10+221707200*x^3*y^7*z^9+249420600*x^3*y^8*z^8+221707200*x^3*y^9*z^7+155195040*x^3*y^10*z^6+84651840*x^3*y^11*z^5+35271600*x^3*y^12*z^4+10852800*x^3*y^13*z^3+2325600*x^3*y^14*z^2+310080*x^3*y^15*z+19380*x^3*y^16+77520*x^4*z^15+1162800*x^4*y*z^14+8139600*x^4*y^2*z^13+35271600*x^4*y^3*z^12+105814800*x^4*y^4*z^11+232792560*x^4*y^5*z^10+387987600*x^4*y^6*z^9+498841200*x^4*y^7*z^8+498841200*x^4*y^8*z^7+387987600*x^4*y^9*z^6+232792560*x^4*y^10*z^5+105814800*x^4*y^11*z^4+35271600*x^4*y^12*z^3+8139600*x^4*y^13*z^2+1162800*x^4*y^14*z+77520*x^4*y^15+232560*x^5*z^14+3255840*x^5*y*z^13+21162960*x^5*y^2*z^12+84651840*x^5*y^3*z^11+232792560*x^5*y^4*z^10+465585120*x^5*y^5*z^9+698377680*x^5*y^6*z^8+798145920*x^5*y^7*z^7+698377680*x^5*y^8*z^6+465585120*x^5*y^9*z^5+232792560*x^5*y^10*z^4+84651840*x^5*y^11*z^3+21162960*x^5*y^12*z^2+3255840*x^5*y^13*z+232560*x^5*y^14+542640*x^6*z^13+7054320*x^6*y*z^12+42325920*x^6*y^2*z^11+155195040*x^6*y^3*z^10+387987600*x^6*y^4*z^9+698377680*x^6*y^5*z^8+931170240*x^6*y^6*z^7+931170240*x^6*y^7*z^6+698377680*x^6*y^8*z^5+387987600*x^6*y^9*z^4+155195040*x^6*y^10*z^3+42325920*x^6*y^11*z^2+7054320*x^6*y^12*z+542640*x^6*y^13+1007760*x^7*z^12+12093120*x^7*y*z^11+66512160*x^7*y^2*z^10+221707200*x^7*y^3*z^9+498841200*x^7*y^4*z^8+798145920*x^7*y^5*z^7+931170240*x^7*y^6*z^6+798145920*x^7*y^7*z^5+498841200*x^7*y^8*z^4+221707200*x^7*y^9*z^3+66512160*x^7*y^10*z^2+12093120*x^7*y^11*z+1007760*x^7*y^12+1511640*x^8*z^11+16628040*x^8*y*z^10+83140200*x^8*y^2*z^9+249420600*x^8*y^3*z^8+498841200*x^8*y^4*z^7+698377680*x^8*y^5*z^6+698377680*x^8*y^6*z^5+498841200*x^8*y^7*z^4+249420600*x^8*y^8*z^3+83140200*x^8*y^9*z^2+16628040*x^8*y^10*z+1511640*x^8*y^11+1847560*x^9*z^10+18475600*x^9*y*z^9+83140200*x^9*y^2*z^8+221707200*x^9*y^3*z^7+387987600*x^9*y^4*z^6+465585120*x^9*y^5*z^5+387987600*x^9*y^6*z^4+221707200*x^9*y^7*z^3+83140200*x^9*y^8*z^2+18475600*x^9*y^9*z+1847560*x^9*y^10+1847560*x^10*z^9+16628040*x^10*y*z^8+66512160*x^10*y^2*z^7+155195040*x^10*y^3*z^6+232792560*x^10*y^4*z^5+232792560*x^10*y^5*z^4+155195040*x^10*y^6*z^3+66512160*x^10*y^7*z^2+16628040*x^10*y^8*z+1847560*x^10*y^9+1511640*x^11*z^8+12093120*x^11*y*z^7+42325920*x^11*y^2*z^6+84651840*x^11*y^3*z^5+105814800*x^11*y^4*z^4+84651840*x^11*y^5*z^3+42325920*x^11*y^6*z^2+12093120*x^11*y^7*z+1511640*x^11*y^8+1007760*x^12*z^7+7054320*x^12*y*z^6+21162960*x^12*y^2*z^5+35271600*x^12*y^3*z^4+35271600*x^12*y^4*z^3+21162960*x^12*y^5*z^2+7054320*x^12*y^6*z+1007760*x^12*y^7+542640*x^13*z^6+3255840*x^13*y*z^5+8139600*x^13*y^2*z^4+10852800*x^13*y^3*z^3+8139600*x^13*y^4*z^2+3255840*x^13*y^5*z+542640*x^13*y^6+232560*x^14*z^5+1162800*x^14*y*z^4+2325600*x^14*y^2*z^3+2325600*x^14*y^3*z^2+1162800*x^14*y^4*z+232560*x^14*y^5+77520*x^15*z^4+310080*x^15*y*z^3+465120*x^15*y^2*z^2+310080*x^15*y^3*z+77520*x^15*y^4+19380*x^16*z^3+58140*x^16*y*z^2+58140*x^16*y^2*z+19380*x^16*y^3+3420*x^17*z^2+6840*x^17*y*z+3420*x^17*y^2+380*x^18*z+380*x^18*y+20*x^19+z^20+20*y*z^19+190*y^2*z^18+1140*y^3*z^17+4845*y^4*z^16+15504*y^5*z^15+38760*y^6*z^14+77520*y^7*z^13+125970*y^8*z^12+167960*y^9*z^11+184756*y^10*z^10+167960*y^11*z^9+125970*y^12*z^8+77520*y^13*z^7+38760*y^14*z^6+15504*y^15*z^5+4845*y^16*z^4+1140*y^17*z^3+190*y^18*z^2+20*y^19*z+y^20+20*x*z^19+380*x*y*z^18+3420*x*y^2*z^17+19380*x*y^3*z^16+77520*x*y^4*z^15+232560*x*y^5*z^14+542640*x*y^6*z^13+1007760*x*y^7*z^12+1511640*x*y^8*z^11+1847560*x*y^9*z^10+1847560*x*y^10*z^9+1511640*x*y^11*z^8+1007760*x*y^12*z^7+542640*x*y^13*z^6+232560*x*y^14*z^5+77520*x*y^15*z^4+19380*x*y^16*z^3+3420*x*y^17*z^2+380*x*y^18*z+20*x*y^19+190*x^2*z^18+3420*x^2*y*z^17+29070*x^2*y^2*z^16+155040*x^2*y^3*z^15+581400*x^2*y^4*z^14+1627920*x^2*y^5*z^13+3527160*x^2*y^6*z^12+6046560*x^2*y^7*z^11+8314020*x^2*y^8*z^10+9237800*x^2*y^9*z^9+8314020*x^2*y^10*z^8+6046560*x^2*y^11*z^7+3527160*x^2*y^12*z^6+1627920*x^2*y^13*z^5+581400*x^2*y^14*z^4+155040*x^2*y^15*z^3+29070*x^2*y^16*z^2+3420*x^2*y^17*z+190*x^2*y^18+1140*x^3*z^17+19380*x^3*y*z^16+155040*x^3*y^2*z^15+775200*x^3*y^3*z^14+2713200*x^3*y^4*z^13+7054320*x^3*y^5*z^12+14108640*x^3*y^6*z^11+22170720*x^3*y^7*z^10+27713400*x^3*y^8*z^9+27713400*x^3*y^9*z^8+22170720*x^3*y^10*z^7+14108640*x^3*y^11*z^6+7054320*x^3*y^12*z^5+2713200*x^3*y^13*z^4+775200*x^3*y^14*z^3+155040*x^3*y^15*z^2+19380*x^3*y^16*z+1140*x^3*y^17+4845*x^4*z^16+77520*x^4*y*z^15+581400*x^4*y^2*z^14+2713200*x^4*y^3*z^13+8817900*x^4*y^4*z^12+21162960*x^4*y^5*z^11+38798760*x^4*y^6*z^10+55426800*x^4*y^7*z^9+62355150*x^4*y^8*z^8+55426800*x^4*y^9*z^7+38798760*x^4*y^10*z^6+21162960*x^4*y^11*z^5+8817900*x^4*y^12*z^4+2713200*x^4*y^13*z^3+581400*x^4*y^14*z^2+77520*x^4*y^15*z+4845*x^4*y^16+15504*x^5*z^15+232560*x^5*y*z^14+1627920*x^5*y^2*z^13+7054320*x^5*y^3*z^12+21162960*x^5*y^4*z^11+46558512*x^5*y^5*z^10+77597520*x^5*y^6*z^9+99768240*x^5*y^7*z^8+99768240*x^5*y^8*z^7+77597520*x^5*y^9*z^6+46558512*x^5*y^10*z^5+21162960*x^5*y^11*z^4+7054320*x^5*y^12*z^3+1627920*x^5*y^13*z^2+232560*x^5*y^14*z+15504*x^5*y^15+38760*x^6*z^14+542640*x^6*y*z^13+3527160*x^6*y^2*z^12+14108640*x^6*y^3*z^11+38798760*x^6*y^4*z^10+77597520*x^6*y^5*z^9+116396280*x^6*y^6*z^8+133024320*x^6*y^7*z^7+116396280*x^6*y^8*z^6+77597520*x^6*y^9*z^5+38798760*x^6*y^10*z^4+14108640*x^6*y^11*z^3+3527160*x^6*y^12*z^2+542640*x^6*y^13*z+38760*x^6*y^14+77520*x^7*z^13+1007760*x^7*y*z^12+6046560*x^7*y^2*z^11+22170720*x^7*y^3*z^10+55426800*x^7*y^4*z^9+99768240*x^7*y^5*z^8+133024320*x^7*y^6*z^7+133024320*x^7*y^7*z^6+99768240*x^7*y^8*z^5+55426800*x^7*y^9*z^4+22170720*x^7*y^10*z^3+6046560*x^7*y^11*z^2+1007760*x^7*y^12*z+77520*x^7*y^13+125970*x^8*z^12+1511640*x^8*y*z^11+8314020*x^8*y^2*z^10+27713400*x^8*y^3*z^9+62355150*x^8*y^4*z^8+99768240*x^8*y^5*z^7+116396280*x^8*y^6*z^6+99768240*x^8*y^7*z^5+62355150*x^8*y^8*z^4+27713400*x^8*y^9*z^3+8314020*x^8*y^10*z^2+1511640*x^8*y^11*z+125970*x^8*y^12+167960*x^9*z^11+1847560*x^9*y*z^10+9237800*x^9*y^2*z^9+27713400*x^9*y^3*z^8+55426800*x^9*y^4*z^7+77597520*x^9*y^5*z^6+77597520*x^9*y^6*z^5+55426800*x^9*y^7*z^4+27713400*x^9*y^8*z^3+9237800*x^9*y^9*z^2+1847560*x^9*y^10*z+167960*x^9*y^11+184756*x^10*z^10+1847560*x^10*y*z^9+8314020*x^10*y^2*z^8+22170720*x^10*y^3*z^7+38798760*x^10*y^4*z^6+46558512*x^10*y^5*z^5+38798760*x^10*y^6*z^4+22170720*x^10*y^7*z^3+8314020*x^10*y^8*z^2+1847560*x^10*y^9*z+184756*x^10*y^10+167960*x^11*z^9+1511640*x^11*y*z^8+6046560*x^11*y^2*z^7+14108640*x^11*y^3*z^6+21162960*x^11*y^4*z^5+21162960*x^11*y^5*z^4+14108640*x^11*y^6*z^3+6046560*x^11*y^7*z^2+1511640*x^11*y^8*z+167960*x^11*y^9+125970*x^12*z^8+1007760*x^12*y*z^7+3527160*x^12*y^2*z^6+7054320*x^12*y^3*z^5+8817900*x^12*y^4*z^4+7054320*x^12*y^5*z^3+3527160*x^12*y^6*z^2+1007760*x^12*y^7*z+125970*x^12*y^8+77520*x^13*z^7+542640*x^13*y*z^6+1627920*x^13*y^2*z^5+2713200*x^13*y^3*z^4+2713200*x^13*y^4*z^3+1627920*x^13*y^5*z^2+542640*x^13*y^6*z+77520*x^13*y^7+38760*x^14*z^6+232560*x^14*y*z^5+581400*x^14*y^2*z^4+775200*x^14*y^3*z^3+581400*x^14*y^4*z^2+232560*x^14*y^5*z+38760*x^14*y^6+15504*x^15*z^5+77520*x^15*y*z^4+155040*x^15*y^2*z^3+155040*x^15*y^3*z^2+77520*x^15*y^4*z+15504*x^15*y^5+4845*x^16*z^4+19380*x^16*y*z^3+29070*x^16*y^2*z^2+19380*x^16*y^3*z+4845*x^16*y^4+1140*x^17*z^3+3420*x^17*y*z^2+3420*x^17*y^2*z+1140*x^17*y^3+190*x^18*z^2+380*x^18*y*z+190*x^18*y^2+20*x^19*z+20*x^19*y+x^20;