ILP02368 HOL Wreath Set 6