#data.3.2.0.12
#
# We study the maximum number of real solutions to 
#
# f(z)*g(z)^2*z^3 - h(z) = 0,
#
#  f, g, and h all have degree 3.
#
#######################################################
k:=3:
p:=2:
l:=0:
Iterations:=500:
Instance:=2000:
deg:=12:   #   Degree of the enumerative problem
data:=[3330, 396446, 780524, 593849, 216447, 9401, 3]:
Time:=295833.41:
##############################################################