Don't have enough old data on normal intensity but on Hard I have the following for max values my players have achieved when testing. With the assumption that Hard is double Normal the max values don't fit unless there is an error for rounding.It should also be noted that the high values for 4* and 6* were achieved with only 5% condition consumed so I'm not sure they can be considered a max.
So I would say the figures given are close enough but not exact. (Rounding might play a part but it still doesn't give an exact fit.)
These are just a snapshot in time when I looked at data - I can not confirm that these are the highest or lowest or best ever achieved. I do not record everything.
EDIT: I can confirm from the data I collected those are the max stretching values achieved on Hard Intensity for 4* and 5*, I do have a 38 recorded for 6*- 5% condition used.