About straw man results of 10,000
12:10
10:33
04:24
07:34
01:47
06:20
24:31
92:09
03:53
11:42
09:33
14:32
10:15
05:18
08:59
58:53
07:14
04:11
03:43
05:31
10:50
02:58
12:07
07:18
39:34
05:14
02:42
22:35
22:05
18:06
16:40
03:06
04:02
10:58
03:09
07:48
04:16
58:01
06:24
05:15
03:10
05:17
05:09
03:53
08:56
05:41