How many positions have a total time of 1:30.4135?
CREATE TABLE table_23018775_3 (
    pos VARCHAR,
    total_time VARCHAR
)
SELECT COUNT(pos) FROM table_23018775_3 WHERE total_time = "1:30.4135"
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 positions have a total time of 1:30.4135? ### Input: CREATE TABLE table_23018775_3 (
    pos VARCHAR,
    total_time VARCHAR
) ### Response: SELECT COUNT(pos) FROM table_23018775_3 WHERE total_time = "1:30.4135"