Title: PIGS user manual