#data.3.3.4.19
#
# We study the maximum number of real solutions to 
#
# f(z)*g(z)^3*z^7 - h(z) = 0,
#
#  f, g, and h all have degree 3.
#
#######################################################
k:=3:
p:=3:
l:=4:
Iterations:=500:
Instance:=4000:
deg:=19:   #   Degree of the enumerative problem
data:=[10108, 1354766, 1866837, 768188, 101, 0, 0, 0, 0, 0]:
Time:=1023590.13:
##############################################################