This could be the third 1-2, all of different degrees.
I checked the data with stockcharts and apparently the high point was actually at 25449, higher by six points than I have. That would add 4.5 points to today’s peak, if that is what it is, and would bring it to 25376, exactly where it went using the 75% retracement parameter for a third time!
Sorry, apparently forgot to post this!