Question: what is current record for running a mile
[{'answer': '3 : 43.13'}, {'provenance': [{'wikipedia_id': '854191', 'title': 'Mile run world record progression', 'start_paragraph_id': 1, 'start_character': 0, 'end_paragraph_id': 1, 'end_character': 443, 'bleu_score': 0.811229188786855, 'meta': {'yes_no_answer': 'NONE', 'annotation_id': 4482632050861419442}, 'section': 'Section::::Abstract.'}]}]