NGC 7129 and 7142, astronono