user: Question: What name has 8.19 as the mark, with 3 as the lane?
Columns: ['Heat', 'Lane', 'Name', 'Country', 'Mark']
Types: ['real', 'real', 'text', 'text', 'text']
Sample row: [1.0, 6.0, 'LoLo Jones', 'United States', '7.82']
SQL:

assistant: SELECT "Name" FROM "Table" WHERE "Mark" = '8.19' AND "Lane" = 3.0;