CREATE TABLE table_76503 ("Rider" TEXT, "Manufacturer" TEXT, "Laps" FLOAT, "Time/Retired" TEXT, "Grid" FLOAT)

How many laps did pere riba ride?
SELECT SUM("Laps") FROM table_76503 WHERE "Rider" = 'pere riba'
SELECT SUM("Laps") FROM "table_76503" WHERE "Rider" = 'pere riba'