Devices descending from K173549

4 later devices reach Biafine through their predicates, nearest generation first.