packages feed

sbv-5.6: SBVUnitTest/GoldFiles/dogCatMouse.gold

Solution #1:
  dog   =  3 :: Integer
  cat   = 41 :: Integer
  mouse = 56 :: Integer
This is the only solution.