#data.2.2.5.13
#
# We study the maximum number of real solutions to 
#
# f(z)*g(z)^2*z^7 - h(z) = 0,
#
#  f, g, and h all have degree 2.
#
#######################################################
k:=2:
p:=2:
l:=5:
Iterations:=1000:
Instance:=3000:
deg:=13:   #   Degree of the enumerative problem
data:=[736580, 2897090, 2111188, 252113, 3029, 0, 0]:
Time:=1016798.06:
##############################################################