It’s over. It has to be, right? What else to say about the San Diego Padres’ season following a brutal five game stretch that included a double-digit home loss to the rival Los Angeles Dodgers and then, four games later, the worst loss in franchise history, at the hands of the Chicago Cubs?