fun1p0 = (
  393296862648714354 x^5
+ -2192717021846814540 x^4 y
+ -107559099073783863 x^4
+ 4889953004472542160 x^3 y^2
+ -354745808704866546 x^3 y
+ 324524037585237336 x^3
+ -5452513969588852320 x^2 y^3
+ 1046884561911065988 x^2 y^2
+ 206278468849643454 x^2 y
+ -324435065421712278 x^2
+ 3039897168885820320 x y^4
+ -188651481361181784 x y^3
+ -1488522606190384248 x y^2
+ 649613638348948482 x y
+ -29276741181824170 x
+ -677923970406395328 y^5
+ -442662241720346208 y^4
+ 1851530297548615992 y^3
+ -1424523071110961052 y^2
+ 426603276381369150 y
+ -39785690945466579
)

fun10p0 = (
  38072059105536 x^4
+ -180489761685504 x^3 y
+ -1011576449664 x^3
+ 320870687440896 x^2 y^2
+ -55124672207616 x^2 y
+ 9514682838144 x^2
+ -253527456743424 x y^3
+ 135816742600704 x y^2
+ -20285646251904 x y
+ -760098503736 x
+ 75119246442496 y^4
+ -81853938298880 y^3
+ 35235272855552 y^2
+ -6857534862640 y
+ 488426087919
)

fun11p0 = (
  2803545536295843 x^4
+ 28527305457045420 x^3 y
+ -32549861419913812 x^3
+ 108854191875568050 x^2 y^2
+ -215380082724749724 x^2 y
+ 115532982668804836 x^2
+ 184606524233419500 x y^3
+ -446080855878374204 x y^2
+ 393984762763556488 x y
+ -122232759966930704 x
+ 117403271990551875 y^4
+ -305249214030633972 y^3
+ 331142608538158244 y^2
+ -188050022605052176 y
+ 40067551276962944
)

fun12p0 = (
  152665880976 x^3
+ -185379998328 x^2 y
+ 28341713727 x^2
+ 75034761228 x y^2
+ 15286167897 x y
+ -47632482336 x
+ -10123737626 y^3
+ -10102029898 y^2
+ 849211939 y
+ 14892295521
)

fun13p0 = (
  8171316 x^3
+ -5626152 x^2 y
+ -9088812 x^2
+ 1291248 x y^2
+ 3754611 x y
+ 3407150 x
+ -98784 y^3
+ -383229 y^2
+ -1898134 y
+ 427624
)

fun13p1 = (
  136125 x^2
+ 14850 x y
+ -141075 x
+ -52272 y^3
+ 134352 y^2
+ -106794 y
+ 52856
)

fun13p2 = (
  7680000 x^4
+ 3840000 x^3 y
+ -18432000 x^3
+ 720000 x^2 y^2
+ -9200000 x^2 y
+ 14700800 x^2
+ 60000 x y^3
+ -1388000 x y^2
+ 5332800 x y
+ -3665920 x
+ 1875 y^4
+ -63750 y^3
+ 534775 y^2
+ 681980 y
+ -658452
)

fun14p0 = (
  1 x^2
+ -8/11 x
+ 5/9 y^2
+ -50/99 y
+ 25811/108900
)

fun15p0 = (
  1 x y^2
+ -1/2 x y
+ -1/4 y
+ 31/250
)

fun16p0 = (
  1 x^2 y
+ -1/2 x^2
+ -1/4 x y
+ 1/8 x
+ -1/1000
)

fun17p0 = (
  20 x^2 y
+ -82/9 x^2
+ -25/2 x y^2
+ -355/36 x y
+ 574/81 x
+ 25/4 y^2
+ -5/72 y
+ -10331/8100
)

fun18p0 = (
  2 x^2
+ -5/4 x y
+ -14/9 x
+ 5/8 y
+ 241/900
)

fun19p0 = (
  -5 x^2 y
+ 43/9 x^2
+ 5 x y
+ -43/9 x
+ -5/4 y
+ 533/450
)

fun2p0 = (
  1990656 x^5
+ 82114560 x^4 y
+ -132440832 x^4
+ 1354890240 x^3 y^2
+ -2160910656 x^3 y
+ 384502572 x^3
+ 11177844480 x^2 y^3
+ -15240181968 x^2 y^2
+ 4706518932 x^2 y
+ -404502246 x^2
+ 46108608480 x y^4
+ -55171244124 x y^3
+ 21627641664 x y^2
+ -3354016959 x y
+ 178261074 x
+ 76079203992 y^5
+ -88509184812 y^4
+ 38509179426 y^3
+ -7815361659 y^2
+ 746460223 y
+ -27089620
)

fun20p0 = (
  -100/3 x^2 y^2
+ 100/3 x^2 y
+ -25/3 x^2
+ 1225/27 x y^2
+ -1225/27 x y
+ 1225/108 x
+ -3139/243 y^2
+ 3139/243 y
+ -39359/12150
)

fun21p0 = (
  -5/3 x^3
+ 196/27 x^2 y
+ -59/12 x^2
+ -244/27 x y^2
+ 103/9 x y
+ 1/4 x
+ 64/27 y^3
+ -29/9 y^2
+ -1/2 y
+ -1/100
)

fun3p0 = (
  8171316 x^3
+ -5626152 x^2 y
+ -9088812 x^2
+ 1291248 x y^2
+ 3754611 x y
+ 3407150 x
+ -98784 y^3
+ -383229 y^2
+ -1898134 y
+ 427624
)

fun4p0 = (
  136125 x^2
+ 14850 x y
+ -141075 x
+ -52272 y^3
+ 134352 y^2
+ -106794 y
+ 52856
)

fun5p0 = (
  61731 x^3
+ 194940 x^2 y
+ -429522 x^2
+ 205200 x y^2
+ -572040 x y
+ 462880 x
+ 72000 y^3
+ -288000 y^2
+ 360000 y
+ -144000
)

fun6p0 = (
  7680000 x^4
+ 3840000 x^3 y
+ -18432000 x^3
+ 720000 x^2 y^2
+ -9200000 x^2 y
+ 14700800 x^2
+ 60000 x y^3
+ -1388000 x y^2
+ 5332800 x y
+ -3665920 x
+ 1875 y^4
+ -63750 y^3
+ 534775 y^2
+ 681980 y
+ -658452
)

fun7p0 = (
  2106 x^4
+ -42120 x^3 y
+ 21040 x^3
+ 315900 x^2 y^2
+ 2098647 x^2 y
+ 13353226 x^2
+ -1053000 x y^3
+ -13546314 x y^2
+ 23931636 x y
+ -19045792 x
+ 1316250 y^4
+ -10423809 y^3
+ 31252626 y^2
+ -30015336 y
+ 7514288
)

fun8p0 = (
  54872 x^3
+ 1728468 x^2 y
+ -1168196 x^2
+ 18148914 x y^2
+ -25636776 x y
+ 9062810 x
+ 63521199 y^3
+ -143641539 y^2
+ 107358474 y
+ -26564064
)

fun9p0 = (
  691798081536 x^4
+ -172949520384 x^3 y
+ -1455813284580 x^3
+ 16214017536 x^2 y^2
+ 199630646280 x^2 y
+ 1125694363896 x^2
+ -675584064 x y^3
+ -5824134657 x y^2
+ -52442544366 x y
+ -376722651981 x
+ 10556001 y^4
+ -156488085 y^3
+ -1789061850 y^2
+ -4216427313 y
+ 46192422751
)

infip0 = (
  4 x^2
+ -4 x
+ 1 y
)

infip1 = (
  1 x^3
+ -171/56 x^2
+ 19/8 x
+ -15/28
)

infi2p0 = (
  -14400 x^4 y^2
+ -59501 x^4
+ -38400 x^3 y
+ -28800 x^2 y^2
+ 14400 x^2 y
+ -45002 x^2
+ -38400 x y
+ 19200 x
+ -14400 y^2
+ 14400 y
+ -3501
)

infi2p1 = (
  1 x^3
+ -171/56 x^2
+ 19/8 x
+ -15/28
)

infi3p0 = (
  -100 x^4
+ -500 x^3
+ -17 x^2
+ -53 x
+ 1 y^4
+ -4/7 y^3
+ 6/49 y^2
+ -4/343 y
+ -2320/194481
)

infi3p1 = (
  1 x^3
)

lhh1p0 = (
  -38801/31329 x^4
+ 203196106568991766382561159435533847980850080034267/1832780587810669771216134036679905537500000000000000 x^3 y
+ 8865956468207895506462202112703841406167529794724937/3665561175621339542432268073359811075000000000000000 x^3
+ -5852981312554557897193991527101310885389028611936636772347276522166879056331642530768235762693017359/3859907708193765249023279707207552663413414756202314940878506452080625000000000000000000000000000000 x^2 y^2
+ 13735898340445957409320736160820981491446808206738810306888322681058561233327559385111068536436293889/3859907708193765249023279707207552663413414756202314940878506452080625000000000000000000000000000000 x^2 y
+ -48989115263462434548338128477762685752278942325092424724160348516118433372479605518465184610464905921/15439630832775060996093118828830210653653659024809259763514025808322500000000000000000000000000000000 x^2
+ -1670083039065118531121029560029225961256371459191168236683859984909/14036028029795509996448289844391100594230599113462963421376387098475000000000000000 x y^3
+ 16358763521921687800611397735913161298171007682367774007859577551443/28072056059591019992896579688782201188461198226925926842752774196950000000000000000 x y^2
+ -13492072194310601383400422525207896225415279225939541912879253398763/14036028029795509996448289844391100594230599113462963421376387098475000000000000000 x y
+ 8913980344964923964871019439608186767077327590555572502462717837759/14036028029795509996448289844391100594230599113462963421376387098475000000000000000 x
+ 152591744724793767282160229301989881/1837443669355048581353230670538471350517460247580606120616545220164 y^4
+ -179052740919844709585425008949733791/459360917338762145338307667634617837629365061895151530154136305041 y^3
+ 41083373283183139321716299499329562/51040101926529127259811963070513093069929451321683503350459589449 y^2
+ -374665272907420721791467359767651054/459360917338762145338307667634617837629365061895151530154136305041 y
+ 167030577330648154296196039699371529/459360917338762145338307667634617837629365061895151530154136305041
)

lllp0 = (
  15625/84 x^4
+ -6250/7 x^3
+ -5625/7 x^2 y^2
+ 6750/7 x^2 y
+ 6175/6 x^2
+ 13500/7 x y^2
+ -16200/7 x y
+ -200/7 x
+ 6075/7 y^4
+ -14580/7 y^3
+ 1287 y^2
+ -162/7 y
+ -2483/84
)

lllp1 = (
  175/3 x^4
+ -200 x^3
+ -3150/13 x^2 y^2
+ 1620/13 x^2 y
+ 21691/273 x^2
+ 5400/13 x y^2
+ -19440/91 x y
+ 5560/91 x
+ 42525/169 y^4
+ -43740/169 y^3
+ 240831/1183 y^2
+ -108918/1183 y
+ -345047/14196
)

lllp2 = (
  -441/676 x^4
+ -3528/845 x^3
+ 567/169 x^2 y^2
+ -4536/845 x^2 y
+ 14007/8450 x^2
+ 9072/845 x y^2
+ -72576/4225 x y
+ 77238/4225 x
+ -729/169 y^4
+ 11664/845 y^3
+ 6993/325 y^2
+ -128844/4225 y
+ -20981/16900
)

lll1p0 = (
  15625/84 x^4
+ -6250/7 x^3
+ -5625/7 x^2 y^2
+ 6750/7 x^2 y
+ 6175/6 x^2
+ 13500/7 x y^2
+ -16200/7 x y
+ -200/7 x
+ 6075/7 y^4
+ -14580/7 y^3
+ 1287 y^2
+ -162/7 y
+ -2483/84
)

lll2p0 = (
  175/3 x^4
+ -200 x^3
+ -3150/13 x^2 y^2
+ 1620/13 x^2 y
+ 21691/273 x^2
+ 5400/13 x y^2
+ -19440/91 x y
+ 5560/91 x
+ 42525/169 y^4
+ -43740/169 y^3
+ 240831/1183 y^2
+ -108918/1183 y
+ -345047/14196
)

lll3p0 = (
  -441/676 x^4
+ -3528/845 x^3
+ 567/169 x^2 y^2
+ -4536/845 x^2 y
+ 14007/8450 x^2
+ 9072/845 x y^2
+ -72576/4225 x y
+ 77238/4225 x
+ -729/169 y^4
+ 11664/845 y^3
+ 6993/325 y^2
+ -128844/4225 y
+ -20981/16900
)

nofunp0 = (
  8171316 x^3
+ -5626152 x^2 y
+ -9088812 x^2
+ 1291248 x y^2
+ 3754611 x y
+ 3407150 x
+ -98784 y^3
+ -383229 y^2
+ -1898134 y
+ 427624
)

nofunp1 = (
  136125 x^2
+ 14850 x y
+ -141075 x
+ -52272 y^3
+ 134352 y^2
+ -106794 y
+ 52856
)

nofunp2 = (
  7680000 x^4
+ 3840000 x^3 y
+ -18432000 x^3
+ 720000 x^2 y^2
+ -9200000 x^2 y
+ 14700800 x^2
+ 60000 x y^3
+ -1388000 x y^2
+ 5332800 x y
+ -3665920 x
+ 1875 y^4
+ -63750 y^3
+ 534775 y^2
+ 681980 y
+ -658452
)

nofunp3 = (
  15625/84 x^4
+ -6250/7 x^3
+ -5625/7 x^2 y^2
+ 6750/7 x^2 y
+ 6175/6 x^2
+ 13500/7 x y^2
+ -16200/7 x y
+ -200/7 x
+ 6075/7 y^4
+ -14580/7 y^3
+ 1287 y^2
+ -162/7 y
+ -2483/84
)

nofunp4 = (
  175/3 x^4
+ -200 x^3
+ -3150/13 x^2 y^2
+ 1620/13 x^2 y
+ 21691/273 x^2
+ 5400/13 x y^2
+ -19440/91 x y
+ 5560/91 x
+ 42525/169 y^4
+ -43740/169 y^3
+ 240831/1183 y^2
+ -108918/1183 y
+ -345047/14196
)

nofunp5 = (
  -441/676 x^4
+ -3528/845 x^3
+ 567/169 x^2 y^2
+ -4536/845 x^2 y
+ 14007/8450 x^2
+ 9072/845 x y^2
+ -72576/4225 x y
+ 77238/4225 x
+ -729/169 y^4
+ 11664/845 y^3
+ 6993/325 y^2
+ -128844/4225 y
+ -20981/16900
)

nofun2p0 = (
  2803545536295843 x^4
+ 28527305457045420 x^3 y
+ -32549861419913812 x^3
+ 108854191875568050 x^2 y^2
+ -215380082724749724 x^2 y
+ 115532982668804836 x^2
+ 184606524233419500 x y^3
+ -446080855878374204 x y^2
+ 393984762763556488 x y
+ -122232759966930704 x
+ 117403271990551875 y^4
+ -305249214030633972 y^3
+ 331142608538158244 y^2
+ -188050022605052176 y
+ 40067551276962944
)

nofun2p1 = (
  152665880976 x^3
+ -185379998328 x^2 y
+ 28341713727 x^2
+ 75034761228 x y^2
+ 15286167897 x y
+ -47632482336 x
+ -10123737626 y^3
+ -10102029898 y^2
+ 849211939 y
+ 14892295521
)

nofun2p2 = (
  86450118128805843 x^4
+ 367245463058803116 x^3 y
+ -1595908195219464377 x^3
+ 585030563244837522 x^2 y^2
+ 211027491012889419 x^2 y
+ 927162379593563229 x^2
+ 414207685604872044 x y^3
+ -2755382848730880847 x y^2
+ 1482236789636746650 x y
+ 22033180451969145 x
+ 109973745984239283 y^4
+ 838497781328880717 y^3
+ -1305248163635613363 y^2
+ 538580821060695267 y
+ -56485444631477040
)

nofun2p3 = (
  1 x^2
+ -8/11 x
+ 5/9 y^2
+ -50/99 y
+ 25811/108900
)

nofun2p4 = (
  1 x y^2
+ -1/2 x y
+ -1/4 y
+ 31/250
)

nofun2p5 = (
  20 x^2 y
+ -82/9 x^2
+ -25/2 x y^2
+ -355/36 x y
+ 574/81 x
+ 25/4 y^2
+ -5/72 y
+ -10331/8100
)

nofun2p6 = (
  2 x^2
+ -5/4 x y
+ -14/9 x
+ 5/8 y
+ 241/900
)

nofun2p7 = (
  -5 x^2 y
+ 43/9 x^2
+ 5 x y
+ -43/9 x
+ -5/4 y
+ 533/450
)

nofun2p8 = (
  -100/3 x^2 y^2
+ 100/3 x^2 y
+ -25/3 x^2
+ 1225/27 x y^2
+ -1225/27 x y
+ 1225/108 x
+ -3139/243 y^2
+ 3139/243 y
+ -39359/12150
)

nofun2p9 = (
  -5/3 x^3
+ 196/27 x^2 y
+ -59/12 x^2
+ -244/27 x y^2
+ 103/9 x y
+ 1/4 x
+ 64/27 y^3
+ -29/9 y^2
+ -1/2 y
+ -1/100
)

nofun2p10 = (
  54872 x^3
+ 1728468 x^2 y
+ -1168196 x^2
+ 18148914 x y^2
+ -25636776 x y
+ 9062810 x
+ 63521199 y^3
+ -143641539 y^2
+ 107358474 y
+ -26564064
)

nofun2p11 = (
  691798081536 x^4
+ -172949520384 x^3 y
+ -1455813284580 x^3
+ 16214017536 x^2 y^2
+ 199630646280 x^2 y
+ 1125694363896 x^2
+ -675584064 x y^3
+ -5824134657 x y^2
+ -52442544366 x y
+ -376722651981 x
+ 10556001 y^4
+ -156488085 y^3
+ -1789061850 y^2
+ -4216427313 y
+ 46192422751
)

phh1p0 = (
  863664654681/351755050000 x^4
+ 510507821781/87938762500 x^3 y
+ -738097780761/87938762500 x^3
+ 1074785371443/175877525000 x^2 y^2
+ -1621979481033/87938762500 x^2 y
+ 2188021854123/175877525000 x^2
+ 278564240781/87938762500 x y^3
+ -29969615781/2045087500 x y^2
+ 1828523782323/87938762500 x y
+ -791753230521/87938762500 x
+ 257152692681/351755050000 y^4
+ -408922618311/87938762500 y^3
+ 1616117743323/175877525000 y^2
+ -803885347071/87938762500 y
+ 993795522201/351755050000
)

testboxes1p0 = (
  1 x^2
+ -4/5 x
+ 1 y^2
+ -2/3 y
+ 19639/90000
)

testboxes1p1 = (
  1 x^2
+ -2/3 x
+ 1 y^2
+ -4/5 y
+ 29/180
)

testinfi1p0 = (
  4 x^2
+ -4 x
+ 1 y
)

testinfi1p1 = (
  1 x
+ 5 y^2
+ -5 y
+ 1/8
)

testinfi10p0 = (
  82/9 x^2
+ -16/3 x y
+ -19/3 x
+ 2 y^2
+ 1 y
+ 5/4
)

testinfi10p1 = (
  3 x
+ -1 y
+ -1
)

testinfi11p0 = (
  -1 x
+ 1 y^2
)

testinfi11p1 = (
  1 x^2
+ -2 x
+ 1 y^2
+ 1/4
)

testinfi12p0 = (
  1/7 x
+ -1 y
)

testinfi12p1 = (
  1 x
+ 1 y
+ -1/15
)

testinfi13p0 = (
  1 x^4
+ 2 x^2 y^2
+ 2741/200 x^2
+ 1 y^4
+ 2259/200 y^2
+ 22933/500
)

testinfi13p1 = (
  4 x^3
+ 4 x y^2
+ 2741/100 x
)

testinfi14p0 = (
  7680000 x^4
+ 3840000 x^3 y
+ -18432000 x^3
+ 720000 x^2 y^2
+ -9200000 x^2 y
+ 14700800 x^2
+ 60000 x y^3
+ -1388000 x y^2
+ 5332800 x y
+ -3665920 x
+ 1875 y^4
+ -63750 y^3
+ 534775 y^2
+ 681980 y
+ -658452
)

testinfi14p1 = (
  136125 x^2
+ 14850 x y
+ -141075 x
+ -52272 y^3
+ 134352 y^2
+ -106794 y
+ 52856
)

testinfi15p0 = (
  393296862648714354 x^5
+ -2192717021846814540 x^4 y
+ -107559099073783863 x^4
+ 4889953004472542160 x^3 y^2
+ -354745808704866546 x^3 y
+ 324524037585237336 x^3
+ -5452513969588852320 x^2 y^3
+ 1046884561911065988 x^2 y^2
+ 206278468849643454 x^2 y
+ -324435065421712278 x^2
+ 3039897168885820320 x y^4
+ -188651481361181784 x y^3
+ -1488522606190384248 x y^2
+ 649613638348948482 x y
+ -29276741181824170 x
+ -677923970406395328 y^5
+ -442662241720346208 y^4
+ 1851530297548615992 y^3
+ -1424523071110961052 y^2
+ 426603276381369150 y
+ -39785690945466579
)

testinfi15p1 = (
  1990656 x^5
+ 82114560 x^4 y
+ -132440832 x^4
+ 1354890240 x^3 y^2
+ -2160910656 x^3 y
+ 384502572 x^3
+ 11177844480 x^2 y^3
+ -15240181968 x^2 y^2
+ 4706518932 x^2 y
+ -404502246 x^2
+ 46108608480 x y^4
+ -55171244124 x y^3
+ 21627641664 x y^2
+ -3354016959 x y
+ 178261074 x
+ 76079203992 y^5
+ -88509184812 y^4
+ 38509179426 y^3
+ -7815361659 y^2
+ 746460223 y
+ -27089620
)

testinfi16p0 = (
  15625/84 x^4
+ -6250/7 x^3
+ -5625/7 x^2 y^2
+ 6750/7 x^2 y
+ 6175/6 x^2
+ 13500/7 x y^2
+ -16200/7 x y
+ -200/7 x
+ 6075/7 y^4
+ -14580/7 y^3
+ 1287 y^2
+ -162/7 y
+ -2483/84
)

testinfi16p1 = (
  8171316 x^3
+ -5626152 x^2 y
+ -9088812 x^2
+ 1291248 x y^2
+ 3754611 x y
+ 3407150 x
+ -98784 y^3
+ -383229 y^2
+ -1898134 y
+ 427624
)

testinfi17p0 = (
  8171316 x^3
+ -5626152 x^2 y
+ -9088812 x^2
+ 1291248 x y^2
+ 3754611 x y
+ 3407150 x
+ -98784 y^3
+ -383229 y^2
+ -1898134 y
+ 427624
)

testinfi17p1 = (
  61731 x^3
+ 194940 x^2 y
+ -429522 x^2
+ 205200 x y^2
+ -572040 x y
+ 462880 x
+ 72000 y^3
+ -288000 y^2
+ 360000 y
+ -144000
)

testinfi18p0 = (
  863664654681/351755050000 x^4
+ 510507821781/87938762500 x^3 y
+ -738097780761/87938762500 x^3
+ 1074785371443/175877525000 x^2 y^2
+ -1621979481033/87938762500 x^2 y
+ 2188021854123/175877525000 x^2
+ 278564240781/87938762500 x y^3
+ -29969615781/2045087500 x y^2
+ 1828523782323/87938762500 x y
+ -791753230521/87938762500 x
+ 257152692681/351755050000 y^4
+ -408922618311/87938762500 y^3
+ 1616117743323/175877525000 y^2
+ -803885347071/87938762500 y
+ 993795522201/351755050000
)

testinfi18p1 = (
  15625/84 x^4
+ -6250/7 x^3
+ -5625/7 x^2 y^2
+ 6750/7 x^2 y
+ 6175/6 x^2
+ 13500/7 x y^2
+ -16200/7 x y
+ -200/7 x
+ 6075/7 y^4
+ -14580/7 y^3
+ 1287 y^2
+ -162/7 y
+ -2483/84
)

testinfi19p0 = (
  7680000 x^4
+ 3840000 x^3 y
+ -18432000 x^3
+ 720000 x^2 y^2
+ -9200000 x^2 y
+ 14700800 x^2
+ 60000 x y^3
+ -1388000 x y^2
+ 5332800 x y
+ -3665920 x
+ 1875 y^4
+ -63750 y^3
+ 534775 y^2
+ 681980 y
+ -658452
)

testinfi19p1 = (
  15625/84 x^4
+ -6250/7 x^3
+ -5625/7 x^2 y^2
+ 6750/7 x^2 y
+ 6175/6 x^2
+ 13500/7 x y^2
+ -16200/7 x y
+ -200/7 x
+ 6075/7 y^4
+ -14580/7 y^3
+ 1287 y^2
+ -162/7 y
+ -2483/84
)

testinfi2p0 = (
  -14400 x^4 y^2
+ -59501 x^4
+ -38400 x^3 y
+ -28800 x^2 y^2
+ 14400 x^2 y
+ -45002 x^2
+ -38400 x y
+ 19200 x
+ -14400 y^2
+ 14400 y
+ -3501
)

testinfi2p1 = (
  -57600 x^3 y^2
+ -238004 x^3
+ -115200 x^2 y
+ -57600 x y^2
+ 28800 x y
+ -90004 x
+ -38400 y
+ 19200
)

testinfi20p0 = (
  1 x^2
+ -2/3 x
+ 1 y^2
+ -2/3 y
+ 23/144
)

testinfi20p1 = (
  7680000 x^4
+ 3840000 x^3 y
+ -18432000 x^3
+ 720000 x^2 y^2
+ -9200000 x^2 y
+ 14700800 x^2
+ 60000 x y^3
+ -1388000 x y^2
+ 5332800 x y
+ -3665920 x
+ 1875 y^4
+ -63750 y^3
+ 534775 y^2
+ 681980 y
+ -658452
)

testinfi3p0 = (
  -100 x^4
+ -500 x^3
+ -17 x^2
+ -53 x
+ 1 y^4
+ -4/7 y^3
+ 6/49 y^2
+ -4/343 y
+ -2320/194481
)

testinfi3p1 = (
  -1/8 x^4
+ 3/4 x^3
+ 1/8 x^2
+ -1/4 x
+ 1 y^4
+ -4/5 y^3
+ 6/25 y^2
+ -4/125 y
+ -623/1250
)

testinfi4p0 = (
  16 x^2
+ -16 x
+ 16 y^2
+ -16 y
+ 7
)

testinfi4p1 = (
  16 x^2
+ -16 x
+ 4 y^2
+ -4 y
+ 4
)

testinfi5p0 = (
  -9/4 x^4
+ 1 x^3 y^3
+ -3/2 x^2 y^2
+ 3 x^2
+ 3/4 x y
+ -9/8
)

testinfi5p1 = (
  1 x^2 y
+ -1/2
)

testinfi6p0 = (
  1 x^3
+ -3/2 x^2
+ 1 x y^3
+ -3/10 x y^2
+ 3/100 x y
+ 749/1000 x
+ 2401/256 y^4
+ -1731/160 y^3
+ 3699/800 y^2
+ -439/500 y
+ -39/625
)

testinfi6p1 = (
  1/4 x^4
+ 3/5 x^3 y
+ 1 x^2 y^2
+ -1/5 x y^3
+ -3 x y
+ -1/100 y^4
+ 1/5
)

testinfi7p0 = (
  -50 x^5
+ 150 x^4
+ -325/2 x^3
+ 75 x^2
+ -25/2 x
+ 1 y
)

testinfi7p1 = (
  1 x
+ -50 y^5
+ 150 y^4
+ -325/2 y^3
+ 75 y^2
+ -25/2 y
)

testinfi8p0 = (
  -1 x^3 y^3
+ 1/2 x^3 y^2
+ -2 x^3 y
+ 1 x^3
+ 1 x^2 y^3
+ -1 x^2 y^2
+ 1 x^2 y
+ -1 x^2
+ -1 x y^3
+ 1 x y^2
+ -1 x y
+ 1 x
)

testinfi8p1 = (
  -1 x^2 y
+ 1 x^2
+ -2 x y
+ -2 x
+ -1 y
+ 2
)

testinfi9p0 = (
  2400 x^3
+ -2600 x^2
+ 900 x
+ -1 y
+ -100
)

testinfi9p1 = (
  -1 x
+ 1 y^3
)

testrange1p0 = (
  1 x^2
+ -2 x
+ 1
)

testrange2p0 = (
  1 x^4 y^4 z^4
+ -1 x^4 y^4 z^3
+ -1 x^4 y^4 z^2
+ -1 x^4 y^4 z
+ -1 x^4 y^4
+ -1 x^4 y^3 z^4
+ 1 x^4 y^3 z^3
+ -1 x^4 y^3 z^2
+ -1 x^4 y^3 z
+ -1 x^4 y^3
+ -1 x^4 y^2 z^4
+ -1 x^4 y^2 z^3
+ 1 x^4 y^2 z^2
+ -1 x^4 y^2 z
+ -1 x^4 y^2
+ 1 x^4 y z^4
+ -1 x^4 y z^3
+ -1 x^4 y z^2
+ -1 x^4 y z
+ 1 x^4 y
+ -1 x^4 z^4
+ -1 x^4 z^3
+ -1 x^4 z^2
+ -1 x^4 z
+ 1 x^4
+ -1 x^3 y^4 z^4
+ -1 x^3 y^4 z^3
+ -1 x^3 y^4 z^2
+ -1 x^3 y^4 z
+ -1 x^3 y^4
+ -1 x^3 y^3 z^4
+ 1 x^3 y^3 z^3
+ -1 x^3 y^3 z^2
+ -1 x^3 y^3 z
+ -1 x^3 y^3
+ 1 x^3 y^2 z^4
+ -1 x^3 y^2 z^3
+ -1 x^3 y^2 z^2
+ -1 x^3 y^2 z
+ -1 x^3 y^2
+ -1 x^3 y z^4
+ -1 x^3 y z^3
+ 1 x^3 y z^2
+ -1 x^3 y z
+ -1 x^3 y
+ -1 x^3 z^4
+ -1 x^3 z^3
+ -1 x^3 z^2
+ 1 x^3 z
+ -1 x^3
+ -1 x^2 y^4 z^4
+ -1 x^2 y^4 z^3
+ -1 x^2 y^4 z^2
+ -1 x^2 y^4 z
+ 1 x^2 y^4
+ -1 x^2 y^3 z^4
+ -1 x^2 y^3 z^3
+ -1 x^2 y^3 z^2
+ -1 x^2 y^3 z
+ 1 x^2 y^3
+ -1 x^2 y^2 z^4
+ 1 x^2 y^2 z^3
+ -1 x^2 y^2 z^2
+ 1 x^2 y^2 z
+ -1 x^2 y^2
+ -1 x^2 y z^4
+ -1 x^2 y z^3
+ -1 x^2 y z^2
+ 1 x^2 y z
+ 1 x^2 y
+ 1 x^2 z^4
+ -1 x^2 z^3
+ -1 x^2 z^2
+ -1 x^2 z
+ -1 x^2
+ -1 x y^4 z^4
+ 1 x y^4 z^3
+ 1 x y^4 z^2
+ 1 x y^4 z
+ 1 x y^4
+ -1 x y^3 z^4
+ -1 x y^3 z^3
+ -1 x y^3 z^2
+ -1 x y^3 z
+ -1 x y^3
+ -1 x y^2 z^4
+ -1 x y^2 z^3
+ 1 x y^2 z^2
+ -1 x y^2 z
+ -1 x y^2
+ -1 x y z^4
+ 1 x y z^3
+ -1 x y z^2
+ -1 x y z
+ -1 x y
+ 1 x z^4
+ -1 x z^3
+ -1 x z^2
+ -1 x z
+ 1 x
+ -1 y^4 z^4
+ -1 y^4 z^3
+ 1 y^4 z^2
+ -1 y^4 z
+ -1 y^4
+ 1 y^3 z^4
+ -1 y^3 z^3
+ -1 y^3 z^2
+ -1 y^3 z
+ 1 y^3
+ 1 y^2 z^4
+ -1 y^2 z^3
+ -1 y^2 z^2
+ -1 y^2 z
+ 1 y^2
+ -1 y z^4
+ 1 y z^3
+ -1 y z^2
+ -1 y z
+ -1 y
+ 1 z^4
+ -1 z^3
+ 1 z^2
+ -1 z
+ 1
)

testsort1p0 = (
  136125 x^2
+ 14850 x y
+ -141075 x
+ -52272 y^3
+ 134352 y^2
+ -106794 y
+ 52856
)

testtopo1p0 = (
  -14400 x^4 y^2
+ -59501 x^4
+ -38400 x^3 y
+ -28800 x^2 y^2
+ 14400 x^2 y
+ -45002 x^2
+ -38400 x y
+ 19200 x
+ -14400 y^2
+ 14400 y
+ -3501
)

testtopo2p0 = (
  1 x^2
+ -1 x
+ 1 y^2
+ -1 y
+ 7/16
)

testtopo3p0 = (
  1 x^2
+ -2/3 x
+ 1 y^2
+ -2/3 y
+ 23/144
)

testtopo4p0 = (
  1 x^4
+ -22/15 x^3
+ 2 x^2 y^2
+ -22/15 x^2 y
+ 83939/90000 x^2
+ -22/15 x y^2
+ 244/225 x y
+ -39199/135000 x
+ 1 y^4
+ -22/15 y^3
+ 83939/90000 y^2
+ -99667/337500 y
+ 3201157/81000000
)

testtopo5p0 = (
  1 x^2
+ -2/3 x
+ 1 y^2
+ -2/3 y
+ 23/144
)

testtopo6p0 = (
  4 x^4
+ 17 x^2 y^2
+ -20 x^2
+ 4 y^4
+ -20 y^2
+ 17
)