How many laps in total does the driver named Eddie Irvine have?
CREATE TABLE table_55623 (
    "Driver" text,
    "Constructor" text,
    "Laps" real,
    "Time/Retired" text,
    "Grid" real
)
SELECT COUNT("Laps") FROM table_55623 WHERE "Driver" = 'eddie irvine'
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: How many laps in total does the driver named Eddie Irvine have? ### Input: CREATE TABLE table_55623 (
    "Driver" text,
    "Constructor" text,
    "Laps" real,
    "Time/Retired" text,
    "Grid" real
) ### Response: SELECT COUNT("Laps") FROM table_55623 WHERE "Driver" = 'eddie irvine'