add P31.hs