very hard to say much about Henry's potential, but from
assumed formula that he was likely an equally strong 5k/10k guy - seems reasonable ( & ran off that ) from general formula of
10k = 2*5k +1'00
using
http://www.jundo.co.uk
& trying some possibilities for Henry
13'07.5 / 27'15 ->54.25 , 1'53.31 , 3'40.62 , 4'59.14 , 7'39.23
already there is nonsense involved
he ran 7'32.1 ( shit -ve splits ), already quicker than above ( even 13'07.5 / 27'22 ->7'37.69 - he was worth lot quicker even back then )
the basic key, therefore, is to look at 5k doubling formula to 10k & then see where the 3k implied times get to 7'32 & then possibly to 7'29/7'30 ( as he ran that 7'32 off shit -ve splits )
13'05.0 / 27'10 ->54.05 , 1'52.91 , 3'39.87 , 4'58.14 , 7'37.73
13'02.5 / 27'05 ->53.85 , 1'52.51 , 3'39.12 , 4'57.14 , 7'36.23
13'00.0 / 27'00 ->53.65 , 1'52.11 , 3'38.37 , 4'56.14 , 7'34.73
12'57.5 / 26'55 ->53.45 , 1'51.71 , 3'37.62 , 4'55.14 , 7'33.23
12'55.0 / 26'50 ->53.25 , 1'51.31 , 3'36.87 , 4'54.14 , 7'31.73
last line has finally got us to under 7'32.1
but, remember, that was run off wildly -ve splts
we have to look for 5k/10k consistent with a 3k at least nearer 7'30 mark
12'52.5 / 26'45 ->53.05 , 1'50.91 , 3'36.12 , 4'53.14 , 7'30.23
we are pretty close to 7'30-flat mark
with trial'n'error ( don't know how to use that calculator better )
7'30.00 comes off
53.05 , 1'50.85 , 3'36.00 , 4'52.98 , 12'52.11 , 26'44.22
i suggest you look at last 2 figures for his 5k/10k potential back in late '70s in ideal wabbited race in zurich/brussels
off course, if someone digs up the splits for his 7'32.1 & we can suggest 7'29.0 or even 7'28.0. we can plug into calculator to modify...