#data.2.6.9.25
#
# We study the maximum number of real solutions to 
#
# f(z)*g(z)^6*z^11 - h(z) = 0,
#
#  f, g, and h all have degree 2.
#
#######################################################
k:=2:
p:=6:
l:=9:
Iterations:=500:
Instance:=1000:
deg:=25:   #   Degree of the enumerative problem
data:=[122541, 478588, 345096, 53547, 228, 0, 0, 0, 0, 0, 0, 0, 0]:
Time:=516366.02:
##############################################################