What are the student IDs for everybody who worked for more than 10 hours per week on all sports?
SELECT StuID FROM Sportsinfo GROUP BY StuID HAVING sum(hoursperweek)  >  10
SELECT StuID FROM Sportsinfo GROUP BY StuID HAVING sum(hoursperweek)  >  10
[{'StuID': 1003}, {'StuID': 1005}, {'StuID': 1015}, {'StuID': 1018}, {'StuID': 1019}, {'StuID': 1022}, {'StuID': 1023}, {'StuID': 1026}, {'StuID': 1033}, {'StuID': 1035}]