⁸²Subsequently acquired by Artelys, http://www.artelys.com/.