BetSmart — Prediction Market Agents That Print