import heapq


results="""\
<NAME>      11.80
<NAME>       10.86
<NAME>          10.71
<NAME>               10.83
<NAME>  10.86
<NAME>          10.94
<NAME>        10.92
<NAME>          10.90
"""

top_3 = heapq.nsmallest(3, results.splitlines(),
                        key=lambda x: float(x.split()[-1]))
print('\n'.join(top_3))
