user: Question: Which Dist (f) has a Race of Irish Derby?
Columns: ['Race', 'Dist (f)', 'Course', 'Class', 'Prize (£K)', 'Odds', 'Runners', 'Placing', 'Margin', 'Time', 'Jockey', 'Trainer']
Types: ['text', 'real', 'text', 'text', 'real', 'text', 'real', 'real', 'text', 'text', 'text', 'text']
Sample row: ['IBEC EBF Maiden', 8.0, 'Leopardstown', 'M', 8.0, 'Evens', 16.0, 1.0, '14', '1:48.20', 'Michael Kinane', "Aidan O'Brien"]
SQL:

assistant: SELECT "Dist (f)" FROM "Table" WHERE "Race" = 'Irish Derby';