Context: CREATE TABLE table_name_35 (time INTEGER, country VARCHAR, lane VARCHAR)
Question: Tell me the highest time for spain and lane larger than 8
Answer: SELECT MAX(time) FROM table_name_35 WHERE country = "spain" AND lane > 8