Compact tree of Robert Cottrell PHILP