converting more traces of mangrove-server