x^31*y^12 - 2*x^31*y^11 + x^31*y^10 + x^30*y^14 - 23*x^30*y^13 + 43*x^30*y^12 - 21*x^30*y^11 + x^29*y^16 - 24*x^29*y^15 + 256*x^29*y^14 - 444*x^29*y^13 + 219*x^29*y^12 - 24*x^29*y^11 + 24*x^29*y^10 - 8*x^29*y^9 - 14*x^28*y^17 + 225*x^28*y^16 - 1675*x^28*y^15 + 2612*x^28*y^14 - 1077*x^28*y^13 + 75*x^28*y^12 - 231*x^28*y^11 + 72*x^28*y^10 + 13*x^28*y^9 + 91*x^27*y^18 - 1190*x^27*y^17 + 7085*x^27*y^16 - 9394*x^27*y^15 + 1947*x^27*y^14 + 627*x^27*y^13 + 1404*x^27*y^12 - 458*x^27*y^11 - 41*x^27*y^10 - 99*x^27*y^9 + 28*x^27*y^8 - 364*x^26*y^19 + 4095*x^26*y^18 - 20503*x^26*y^17 + 20658*x^26*y^16 + 4895*x^26*y^15 - 4408*x^26*y^14 - 6395*x^26*y^13 + 591*x^26*y^12 + 1040*x^26*y^11 + 540*x^26*y^10 - 92*x^26*y^9 - 56*x^26*y^8 + 1001*x^25*y^20 - 9828*x^25*y^19 + 41769*x^25*y^18 - 23016*x^25*y^17 - 38058*x^25*y^16 + 9769*x^25*y^15 + 18275*x^25*y^14 + 11275*x^25*y^13 - 9749*x^25*y^12 - 1858*x^25*y^11 - 110*x^25*y^10 + 363*x^25*y^9 + 210*x^25*y^8 - 56*x^25*y^7 - 2002*x^24*y^21 + 17017*x^24*y^20 - 59943*x^24*y^19 - 10244*x^24*y^18 + 107833*x^24*y^17 + 862*x^24*y^16 - 22046*x^24*y^15 - 76514*x^24*y^14 + 35069*x^24*y^13 + 8849*x^24*y^12 + 6161*x^24*y^11 - 4368*x^24*y^10 - 771*x^24*y^9 + 77*x^24*y^8 + 98*x^24*y^7 + 3003*x^23*y^22 - 21450*x^23*y^21 + 57915*x^23*y^20 + 89934*x^23*y^19 - 178178*x^23*y^18 - 54243*x^23*y^17 - 37952*x^23*y^16 + 234757*x^23*y^15 - 40560*x^23*y^14 - 30000*x^23*y^13 - 51279*x^23*y^12 + 24217*x^23*y^11 + 3786*x^23*y^10 + 611*x^23*y^9 - 651*x^23*y^8 - 266*x^23*y^7 + 70*x^23*y^6 - 3432*x^22*y^23 + 19305*x^22*y^22 - 30745*x^22*y^21 - 177892*x^22*y^20 + 172861*x^22*y^19 + 141518*x^22*y^18 + 214446*x^22*y^17 - 395429*x^22*y^16 - 101722*x^22*y^15 + 37742*x^22*y^14 + 194394*x^22*y^13 - 36154*x^22*y^12 - 30959*x^22*y^11 - 10522*x^22*y^10 + 6453*x^22*y^9 + 1082*x^22*y^8 - 147*x^22*y^7 - 84*x^22*y^6 + 3003*x^21*y^24 - 11440*x^21*y^23 - 4147*x^21*y^22 + 208780*x^21*y^21 - 59488*x^21*y^20 - 194155*x^21*y^19 - 438893*x^21*y^18 + 294899*x^21*y^17 + 477552*x^21*y^16 + 67806*x^21*y^15 - 362913*x^21*y^14 - 141135*x^21*y^13 + 120555*x^21*y^12 + 65096*x^21*y^11 - 15241*x^21*y^10 - 13270*x^21*y^9 + 1092*x^21*y^8 + 458*x^21*y^7 + 210*x^21*y^6 - 56*x^21*y^5 - 2002*x^20*y^25 + 3003*x^20*y^24 + 23231*x^20*y^23 - 159432*x^20*y^22 - 88881*x^20*y^21 + 150436*x^20*y^20 + 514072*x^20*y^19 + 208494*x^20*y^18 - 866917*x^20*y^17 - 333286*x^20*y^16 + 180268*x^20*y^15 + 744770*x^20*y^14 - 206225*x^20*y^13 - 162643*x^20*y^12 - 88975*x^20*y^11 + 88481*x^20*y^10 + 2904*x^20*y^9 - 4451*x^20*y^8 - 1416*x^20*y^7 + 257*x^20*y^6 + 28*x^20*y^5 + 1001*x^19*y^26 + 1638*x^19*y^25 - 20657*x^19*y^24 + 75010*x^19*y^23 + 162942*x^19*y^22 - 39897*x^19*y^21 - 332618*x^19*y^20 - 800266*x^19*y^19 + 835827*x^19*y^18 + 561622*x^19*y^17 + 648588*x^19*y^16 - 1486806*x^19*y^15 + 29669*x^19*y^14 + 63186*x^19*y^13 + 575323*x^19*y^12 - 243636*x^19*y^11 - 37142*x^19*y^10 - 16397*x^19*y^9 + 24605*x^19*y^8 - 3664*x^19*y^7 + 36*x^19*y^6 - 108*x^19*y^5 + 28*x^19*y^4 - 364*x^18*y^27 - 2275*x^18*y^26 + 8995*x^18*y^25 - 14714*x^18*y^24 - 135123*x^18*y^23 - 47034*x^18*y^22 + 42173*x^18*y^21 + 965696*x^18*y^20 - 288450*x^18*y^19 - 476963*x^18*y^18 - 1590131*x^18*y^17 + 1387595*x^18*y^16 + 540844*x^18*y^15 + 551452*x^18*y^14 - 1306882*x^18*y^13 + 196687*x^18*y^12 + 63403*x^18*y^11 + 218824*x^18*y^10 - 118436*x^18*y^9 + 3407*x^18*y^8 + 1489*x^18*y^7 + 1317*x^18*y^6 - 231*x^18*y^5 + 8*x^18*y^4 + 91*x^17*y^28 + 1260*x^17*y^27 - 965*x^17*y^26 - 4944*x^17*y^25 + 66802*x^17*y^24 + 64363*x^17*y^23 + 125402*x^17*y^22 - 615807*x^17*y^21 - 315471*x^17*y^20 + 137793*x^17*y^19 + 1608864*x^17*y^18 - 3664*x^17*y^17 - 1109239*x^17*y^16 - 1286903*x^17*y^15 + 1162927*x^17*y^14 + 525180*x^17*y^13 + 89517*x^17*y^12 - 657568*x^17*y^11 + 163103*x^17*y^10 + 39124*x^17*y^9 + 30323*x^17*y^8 - 24512*x^17*y^7 + 3857*x^17*y^6 - 283*x^17*y^5 + 43*x^17*y^4 - 8*x^17*y^3 - 14*x^16*y^29 - 405*x^16*y^28 - 1101*x^16*y^27 + 3564*x^16*y^26 - 19173*x^16*y^25 - 39886*x^16*y^24 - 117638*x^16*y^23 + 155870*x^16*y^22 + 510383*x^16*y^21 + 111229*x^16*y^20 - 597743*x^16*y^19 - 1531374*x^16*y^18 + 1108402*x^16*y^17 + 1085234*x^16*y^16 + 664785*x^16*y^15 - 1682519*x^16*y^14 - 355188*x^16*y^13 + 618138*x^16*y^12 + 324181*x^16*y^11 - 136150*x^16*y^10 - 173043*x^16*y^9 + 70809*x^16*y^8 + 3463*x^16*y^7 - 789*x^16*y^6 - 852*x^16*y^5 + 112*x^16*y^4 - 9*x^16*y^3 + x^15*y^30 + 74*x^15*y^29 + 648*x^15*y^28 - 220*x^15*y^27 + 2585*x^15*y^26 + 15551*x^15*y^25 + 47792*x^15*y^24 + 65933*x^15*y^23 - 332102*x^15*y^22 - 117932*x^15*y^21 - 374459*x^15*y^20 + 1783869*x^15*y^19 - 544954*x^15*y^18 + 119833*x^15*y^17 - 2672618*x^15*y^16 + 2028571*x^15*y^15 + 203445*x^15*y^14 + 806392*x^15*y^13 - 1491009*x^15*y^12 + 252918*x^15*y^11 + 200166*x^15*y^10 + 85069*x^15*y^9 - 74222*x^15*y^8 - 18516*x^15*y^7 + 15104*x^15*y^6 - 2177*x^15*y^5 + 194*x^15*y^4 - 15*x^15*y^3 + x^15*y^2 - 6*x^14*y^30 - 156*x^14*y^29 - 447*x^14*y^28 - 244*x^14*y^27 - 4566*x^14*y^26 - 7336*x^14*y^25 - 68773*x^14*y^24 + 105066*x^14*y^23 + 34632*x^14*y^22 + 542820*x^14*y^21 - 880816*x^14*y^20 - 52515*x^14*y^19 - 931766*x^14*y^18 + 2521969*x^14*y^17 - 860052*x^14*y^16 + 392970*x^14*y^15 - 2541542*x^14*y^14 + 2139872*x^14*y^13 - 397421*x^14*y^12 + 492795*x^14*y^11 - 741211*x^14*y^10 + 222127*x^14*y^9 + 54319*x^14*y^8 - 11330*x^14*y^7 - 9867*x^14*y^6 + 1147*x^14*y^5 + 372*x^14*y^4 - 30*x^14*y^3 + 2*x^14*y^2 + 15*x^13*y^30 + 168*x^13*y^29 + 253*x^13*y^28 + 1327*x^13*y^27 - 465*x^13*y^26 + 21725*x^13*y^25 - 3170*x^13*y^24 - 620*x^13*y^23 - 228225*x^13*y^22 + 25237*x^13*y^21 + 307109*x^13*y^20 + 570526*x^13*y^19 - 543013*x^13*y^18 - 752410*x^13*y^17 - 477466*x^13*y^16 + 2122614*x^13*y^15 - 919985*x^13*y^14 + 399188*x^13*y^13 - 1536487*x^13*y^12 + 1331352*x^13*y^11 - 309173*x^13*y^10 + 89675*x^13*y^9 - 164117*x^13*y^8 + 65464*x^13*y^7 + 6045*x^13*y^6 - 6243*x^13*y^5 + 726*x^13*y^4 - 54*x^13*y^3 + 3*x^13*y^2 - 20*x^12*y^30 - 110*x^12*y^29 - 383*x^12*y^28 - 277*x^12*y^27 - 1706*x^12*y^26 - 9516*x^12*y^25 + 3984*x^12*y^24 + 2826*x^12*y^23 + 201018*x^12*y^22 - 255909*x^12*y^21 + 110869*x^12*y^20 - 851613*x^12*y^19 + 1320467*x^12*y^18 - 241836*x^12*y^17 + 238353*x^12*y^16 - 1208242*x^12*y^15 + 135984*x^12*y^14 + 1158712*x^12*y^13 - 529833*x^12*y^12 + 19507*x^12*y^11 - 405925*x^12*y^10 + 431958*x^12*y^9 - 108440*x^12*y^8 - 8033*x^12*y^7 - 8858*x^12*y^6 + 8138*x^12*y^5 - 1031*x^12*y^4 - 88*x^12*y^3 + 4*x^12*y^2 + 15*x^11*y^30 + 74*x^11*y^29 + 326*x^11*y^28 - 310*x^11*y^27 + 3100*x^11*y^26 - 4655*x^11*y^25 + 27638*x^11*y^24 - 97760*x^11*y^23 + 110849*x^11*y^22 - 267812*x^11*y^21 + 743067*x^11*y^20 - 783994*x^11*y^19 + 691932*x^11*y^18 - 1564077*x^11*y^17 + 1895835*x^11*y^16 - 901262*x^11*y^15 + 806057*x^11*y^14 - 1417980*x^11*y^13 + 813013*x^11*y^12 + 90197*x^11*y^11 - 90626*x^11*y^10 - 80799*x^11*y^9 - 25349*x^11*y^8 + 81379*x^11*y^7 - 29482*x^11*y^6 - 905*x^11*y^5 + 1656*x^11*y^4 - 132*x^11*y^3 + 5*x^11*y^2 - 6*x^10*y^30 - 64*x^10*y^29 - 77*x^10*y^28 - 382*x^10*y^27 + 1121*x^10*y^26 - 6159*x^10*y^25 + 13023*x^10*y^24 - 17186*x^10*y^23 + 91296*x^10*y^22 - 170852*x^10*y^21 + 118687*x^10*y^20 - 340033*x^10*y^19 + 836684*x^10*y^18 - 820634*x^10*y^17 + 878787*x^10*y^16 - 1798013*x^10*y^15 + 2213622*x^10*y^14 - 1550999*x^10*y^13 + 1149123*x^10*y^12 - 1108193*x^10*y^11 + 649639*x^10*y^10 - 105613*x^10*y^9 - 41433*x^10*y^8 + 1815*x^10*y^7 + 2282*x^10*y^6 + 6763*x^10*y^5 - 3698*x^10*y^4 + 494*x^10*y^3 + 6*x^10*y^2 + x^9*y^30 + 36*x^9*y^29 + 38*x^9*y^28 + 167*x^9*y^27 - 704*x^9*y^26 + 2815*x^9*y^25 - 6643*x^9*y^24 + 11993*x^9*y^23 - 54735*x^9*y^22 + 114708*x^9*y^21 - 98167*x^9*y^20 + 150700*x^9*y^19 - 269749*x^9*y^18 - 74872*x^9*y^17 + 736271*x^9*y^16 - 999622*x^9*y^15 + 1212689*x^9*y^14 - 1731776*x^9*y^13 + 1775002*x^9*y^12 - 1136230*x^9*y^11 + 577839*x^9*y^10 - 342247*x^9*y^9 + 165519*x^9*y^8 - 20844*x^9*y^7 - 19580*x^9*y^6 + 7734*x^9*y^5 - 100*x^9*y^4 - 250*x^9*y^3 + 7*x^9*y^2 - 8*x^8*y^29 - 72*x^8*y^28 + 200*x^8*y^27 - 774*x^8*y^26 + 3271*x^8*y^25 - 11689*x^8*y^24 + 34081*x^8*y^23 - 70661*x^8*y^22 + 142488*x^8*y^21 - 290968*x^8*y^20 + 416593*x^8*y^19 - 407002*x^8*y^18 + 406013*x^8*y^17 - 348779*x^8*y^16 - 102317*x^8*y^15 + 669770*x^8*y^14 - 824503*x^8*y^13 + 760035*x^8*y^12 - 763216*x^8*y^11 + 637685*x^8*y^10 - 334978*x^8*y^9 + 103894*x^8*y^8 - 27629*x^8*y^7 + 10716*x^8*y^6 - 741*x^8*y^5 - 2283*x^8*y^4 + 1002*x^8*y^3 - 128*x^8*y^2 + 28*x^7*y^28 - 238*x^7*y^26 + 966*x^7*y^25 - 3577*x^7*y^24 + 12021*x^7*y^23 - 36369*x^7*y^22 + 81354*x^7*y^21 - 139951*x^7*y^20 + 241692*x^7*y^19 - 399842*x^7*y^18 + 492284*x^7*y^17 - 468583*x^7*y^16 + 473701*x^7*y^15 - 462636*x^7*y^14 + 242384*x^7*y^13 + 41189*x^7*y^12 - 135523*x^7*y^11 + 110834*x^7*y^10 - 105670*x^7*y^9 + 91916*x^7*y^8 - 44270*x^7*y^7 + 6465*x^7*y^6 + 2970*x^7*y^5 - 1214*x^7*y^4 + 43*x^7*y^3 + 26*x^7*y^2 - 56*x^6*y^27 + 252*x^6*y^26 - 616*x^6*y^25 + 1428*x^6*y^24 - 3321*x^6*y^23 + 6526*x^6*y^22 - 6246*x^6*y^21 - 8537*x^6*y^20 + 40041*x^6*y^19 - 98100*x^6*y^18 + 234607*x^6*y^17 - 453218*x^6*y^16 + 638331*x^6*y^15 - 722718*x^6*y^14 + 747099*x^6*y^13 - 679046*x^6*y^12 + 465937*x^6*y^11 - 216260*x^6*y^10 + 68522*x^6*y^9 - 19018*x^6*y^8 + 3414*x^6*y^7 + 2808*x^6*y^6 - 2223*x^6*y^5 + 167*x^6*y^4 + 350*x^6*y^3 - 140*x^6*y^2 + 17*x^6*y + 70*x^5*y^26 - 504*x^5*y^25 + 1904*x^5*y^24 - 5460*x^5*y^23 + 13489*x^5*y^22 - 28972*x^5*y^21 + 50509*x^5*y^20 - 62632*x^5*y^19 + 39590*x^5*y^18 + 36676*x^5*y^17 - 182668*x^5*y^16 + 407876*x^5*y^15 - 647905*x^5*y^14 + 774306*x^5*y^13 - 734332*x^5*y^12 + 588255*x^5*y^11 - 403845*x^5*y^10 + 222346*x^5*y^9 - 87848*x^5*y^8 + 21922*x^5*y^7 - 3148*x^5*y^6 + 574*x^5*y^5 - 253*x^5*y^4 + 47*x^5*y^3 + 5*x^5*y^2 - 2*x^5*y - 56*x^4*y^25 + 504*x^4*y^24 - 2248*x^4*y^23 + 6867*x^4*y^22 - 16462*x^4*y^21 + 32725*x^4*y^20 - 53365*x^4*y^19 + 64740*x^4*y^18 - 40235*x^4*y^17 - 40807*x^4*y^16 + 171080*x^4*y^15 - 321671*x^4*y^14 + 453622*x^4*y^13 - 514969*x^4*y^12 + 469368*x^4*y^11 - 342787*x^4*y^10 + 204061*x^4*y^9 - 100822*x^4*y^8 + 40200*x^4*y^7 - 11432*x^4*y^6 + 1614*x^4*y^5 + 146*x^4*y^4 - 67*x^4*y^3 - 13*x^4*y^2 + 8*x^4*y - x^4 + 28*x^3*y^24 - 288*x^3*y^23 + 1415*x^3*y^22 - 4491*x^3*y^21 + 10480*x^3*y^20 - 19230*x^3*y^19 + 28176*x^3*y^18 - 30250*x^3*y^17 + 12852*x^3*y^16 + 35087*x^3*y^15 - 108223*x^3*y^14 + 181267*x^3*y^13 - 226718*x^3*y^12 + 231433*x^3*y^11 - 196919*x^3*y^10 + 137019*x^3*y^9 - 75260*x^3*y^8 + 31521*x^3*y^7 - 9768*x^3*y^6 + 2152*x^3*y^5 - 294*x^3*y^4 + 5*x^3*y^3 + 7*x^3*y^2 - x^3*y - 8*x^2*y^23 + 90*x^2*y^22 - 472*x^2*y^21 + 1540*x^2*y^20 - 3520*x^2*y^19 + 6006*x^2*y^18 - 7815*x^2*y^17 + 6999*x^2*y^16 - 456*x^2*y^15 - 15358*x^2*y^14 + 40164*x^2*y^13 - 65617*x^2*y^12 + 79242*x^2*y^11 - 74878*x^2*y^10 + 57156*x^2*y^9 - 35739*x^2*y^8 + 18084*x^2*y^7 - 7068*x^2*y^6 + 1944*x^2*y^5 - 303*x^2*y^4 + 2*x^2*y^3 + 8*x^2*y^2 - x^2*y + x*y^22 - 12*x*y^21 + 66*x*y^20 - 220*x*y^19 + 495*x*y^18 - 792*x*y^17 + 909*x*y^16 - 609*x*y^15 - 533*x*y^14 + 3302*x*y^13 - 8151*x*y^12 + 13793*x*y^11 - 17225*x*y^10 + 16236*x*y^9 - 11649*x*y^8 + 6369*x*y^7 - 2640*x*y^6 + 818*x*y^5 - 183*x*y^4 + 27*x*y^3 - 2*x*y^2 + y^15 - 13*y^14 + 78*y^13 - 286*y^12 + 715*y^11 - 1287*y^10 + 1716*y^9 - 1716*y^8 + 1287*y^7 - 715*y^6 + 286*y^5 - 78*y^4 + 13*y^3 - y^2