Devices descending from K120582

3 later devices reach Heatlux through their predicates, nearest generation first.