CoCoA-5.2.2 and CoCoALib