Devices descending from K113276

2 later devices reach Catalyst through their predicates, nearest generation first.