Table schema:
CREATE TABLE table_name_35 (time INTEGER, country VARCHAR, lane VARCHAR)

Question: Tell me the highest time for spain and lane larger than 8
SQL: SELECT MAX(time) FROM table_name_35 WHERE country = "spain" AND lane > 8