Quick Picks vs. Manual Picks Lottery: Which Is Better?