;;;;
;;;;
;;;;

(defvar *unknowns*)
(setf *unknowns* '(
  (petepuma 78.7893 0.0200 193399.4700 0.2040 0.0000 2.1200 0.7027 0.0000 9.9012 11042.3333 0.0000 38520.0000 9.4547 0.0000 0.0000 0.3680 0.0000 1.0000 0.0920 0.0000 1.0000)
  (sylvester 72.2785 0.0200 96460.8000 0.1892 0.0000 1.3300 0.4485 0.0000 5.2000 523125.0769 27.0000 6733824.0000 7.6154 0.0000 0.0000 0.2523 0.0000 1.0000 0.4115 0.0000 1.0000)
  (daffy 273.0245 0.0300 28467.2000 0.0773 0.0000 0.5700 0.0555 0.0000 1.2700 21299.4545 0.0000 1336320.0000 13.0909 0.0000 0.0000 0.2468 0.0000 1.0000 0.4100 0.0000 1.0000)
  (porky 79.0673 0.0200 5201.0700 79.0673 0.0200 5201.0700 0.0896 0.0000 5.3800 0.0535 0.0000 3.8800 6586.7273 0.0000 7000064.0000 4.4156 0.0000 0.0000 0.2462 0.0000 1.0000)
  (minnie 0.4550 0.0200 1414.4000 0.0900 0.0000 0.9700 0.0500 0.0000 0.6800 3429.5000 0.0000 2812928.0000 10.0000 0.0000 0.0000 0.3200 0.0000 1.0000 0.3050 0.0000 1.0000)
  (bugs 45.3267 0.0700 98.8700 0.0883 0.0300 0.1500 0.0750 0.0000 0.2300 25108.6667 75.0000 109504.0000 5.1667 0.0000 0.0000 0.2750 0.0000 0.7400 0.2033 0.0000 0.7500)
  (petepuma 19558.8844 0.0200 691404.8000 0.1166 0.0000 3.1700 0.1519 0.0000 10.0812 136272.4746 0.0000 8024064.0000 17.6610 0.0000 0.0000 0.2854 0.0000 1.0000 0.1963 0.0000 1.0000)
  (daffy 271.4342 0.0200 28467.2000 0.0550 0.0000 0.5700 0.0308 0.0000 1.2700 5351.3333 0.0000 1336320.0000 8.9167 0.0000 0.0000 0.2308 0.0000 1.0000 0.3533 0.0000 1.0000)
  (porky 15.4483 0.0200 435.6000 0.0683 0.0000 0.2200 0.0383 0.0000 0.3300 7466.6667 0.0000 32648.0000 7.6667 0.0000 0.0000 0.3233 0.0000 1.0000 0.2183 0.0000 1.0000)
  (tweety 0.0000 0.0200 63914.6700 0.0000 0.0200 63914.6700 0.0000 0.0000 32.2800 0.0000 0.0000 0.8500 0.0000 9.0000 416448.0000 0.0000 0.0000 0.0000 0.0000 0.0000 1.0000)
))