Devices descending from K041937

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