Context: CREATE TABLE table_name_57 (record VARCHAR, time VARCHAR)
Question: What was the record after the bout lasting 4:15?
Answer: SELECT record FROM table_name_57 WHERE time = "4:15"