One difference I see between Ari88 and muehlenzwick is that Ari88 doesn't like isolating with the big to medium pocket pairs QQss/KJJss/QTTss.
Both of you agree that isolating the run downs is best, differing on K987ss.
If Ari88's choices are from the solver then it looks like it prefers hands that can realize it's equity by being connected.
While a hand like 4c5c6d7d has less raw equity than QcTcQd2h vs a 45% range, it gets to realize it's equity better because of its playability allowing it see more turn and rivers.
Not sure if I am making sense and someone correct me if I'm wrong. Just thinking out loud :].