CREATE TABLE table_name_6 (laps INTEGER, driver VARCHAR(255))
What is the most laps for Ayrton Senna?
    
SQL: SELECT MAX(laps) FROM table_name_6 WHERE driver = "ayrton senna"