CoCoA-5.2.2