It seems like the AAVs for Seager and Correa are inverted, but essentially its only $2M per. They're all dancing around $30M per. That might be the neighborhood for Correa, Seager, and Story, but I have a hard time seeing that for Semien and Baez. Maybe Semien and Baez get that, but I wouldn't want the Tigers to offer it to them, not for the contract lengths that you've got there.
I'd probably order the preference Correa, Seager, Story. After that, I look the trade route and/or hope that Semien/Baez fall down to around 4 year contracts.