Abbreviations as in Table 1.