sbv-14.5: SBVTestSuite/GoldFiles/optExtField1.gold

Optimal in an extension field:
  x_plus_y = oo :: Integer