#data.2.5.1.15
#
# We study the maximum number of real solutions to 
#
# f(z)*g(z)^5*z^3 - h(z) = 0,
#
#  f, g, and h all have degree 2.
#
#######################################################
k:=2:
p:=5:
l:=1:
Iterations:=500:
Instance:=3000:
deg:=15:   #   Degree of the enumerative problem
data:=[211222, 1221458, 1555611, 11709, 0, 0, 0, 0]:
Time:=312372.07:
##############################################################