with a Time/Retired of +47.376 what is the lap sum?
CREATE TABLE table_15431 (
    "Rider" text,
    "Manufacturer" text,
    "Laps" real,
    "Time/Retired" text,
    "Grid" real
)
SELECT SUM("Laps") FROM table_15431 WHERE "Time/Retired" = '+47.376'
Below are sql tables schemas paired with instruction that describes a task. Using valid SQLite, write a response that appropriately completes the request for the provided tables. ### Instruction: with a Time/Retired of +47.376 what is the lap sum? ### Input: CREATE TABLE table_15431 (
    "Rider" text,
    "Manufacturer" text,
    "Laps" real,
    "Time/Retired" text,
    "Grid" real
) ### Response: SELECT SUM("Laps") FROM table_15431 WHERE "Time/Retired" = '+47.376'