1985 IAAF World Indoor Games – Men's 800 metres
The men's 800 metres event at the 1985 IAAF World Indoor Games was held at the Palais Omnisports Paris-Bercy on 18 and 19 January.
Medalists
| Gold | Silver | Bronze |
Colomán Trabado |
Benjamín González |
Ikem Billy |
Results
Heats
First 2 of each heat (Q) and next 2 fastest (q) qualified for the final.[1]
| Rank | Heat | Name | Nationality | Time | Notes |
|---|---|---|---|---|---|
| 1 | 1 | Petru Drăgoescu | .svg.png){kind=small} | 1:49.20 | Q |
| 2 | 1 | Benjamín González | | 1:49.40 | Q |
| 3 | 1 | Ikem Billy | | 1:49.66 | q |
| 4 | 2 | Colomán Trabado | | 1:50.33 | Q |
| 5 | 1 | André Lavie |  | 1:50.54 | q |
| 6 | 2 | Tonino Viali |  | 1:50.82 | Q |
| 7 | 2 | Didier Marquant | | 1:50.98 | |
| 8 | 2 | Roland Weedon | | 1:51.17 | |
| 9 | 1 | Jack McIntosh |  | 1:52.85 | |
| 10 | 2 | Luis Migueles |  | 1:53.89 | |
| 11 | 1 | Assar Hassan Allah |  | 1:56.27 | NR |
| 12 | 1 | Yeung Sai Mo | .svg.png){kind=small} | 1:56.47 | NR |
| 13 | 2 | Khaled Khalifa |  | 1:57.30 | |
| 1 | Edwin Koech |  | DNS |
Final
| Rank | Name | Nationality | Time | Notes |
|---|---|---|---|---|
 | Colomán Trabado | | 1:47.42 | |
 | Benjamín González | | 1:47.94 | |
 | Ikem Billy | | 1:48.28 | |
| 4 | Petru Drăgoescu | | 1:48.34 | |
| 5 | André Lavie | | 1:50.29 | |
| 6 | Tonino Viali | | 1:50.85 |
gollark: osmarkslisp™ is probably TC while regex is… probably a "context-free" grammar?
gollark: So if you replace the osmarkslisp™ parser with json.decode and work out how to fix the string/atom distinction given that, and add string manipulation functions, parsing regex should be doable.
gollark: Well, Lisps are typically encoded in S-expressions, but it's entirely possible to have an utterly homoiconic program in JSON instead.
gollark: My code prints an intractably large number of bees and is thus superior.
gollark: ```pythonf=lambda x,y=9:f(x**x,~-y)if y else 9;print("BEES"*f(a:=f(9),a))```You should fear this.
References
- Heats results (archived)
- Final results (archived)
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.