sbv-14.4: SBVTestSuite/GoldFiles/optTuple1.gold

Optimal model:
  p         = (44,36) :: (Integer, Integer)
  max-p^._1 =      44 :: Integer
  max-p^._2 =      36 :: Integer