Update pe31.hs