Devices descending from K080532

2 later devices reach Benacel, Models C-001, C-002 and C-005 through their predicates, nearest generation first.