HD Channels

I’m in the OKC market and have noticed that the HD Channels above 700 are being mapped to channels below 300 (for example, if I record a program on Discovery Channel 735, the DVR listing lists the channel as 32). Are the HD Channels being transitiioned to the lower channel numbers?