; Plural/AlgDep-qso3-dp.tst Plural/AnnFD-sl2-10.tst ; Plural/AnnFD-sl2-15.tst Plural/AnnFD-sl2-4.tst Plural/AnnFD-sl2-7.tst ; Plural/bern5_slimgb.tst Plural/dmod_lib.tst Plural/doc-bracket.tst Plural/doc-dim.tst Plural/doc-division1.tst Plural/doc-division2.tst Plural/doc-elimination.tst Plural/doc-ideal-decl.tst Plural/doc-ideal-expr.tst Plural/doc-ideal-ops.tst Plural/doc-minres.tst Plural/doc-module-decl.tst Plural/doc-module-ops.tst Plural/doc-mres.tst Plural/doc-nres.tst ;; Plural/doc-plural.tst Plural/doc-poly-decl.tst Plural/doc-poly-expr.tst Plural/doc-qring-decl.tst Plural/doc-reduce.tst Plural/doc-resolution-decl.tst Plural/doc-ring-ops.tst Plural/doc-std.tst Plural/doc-syz.tst Plural/doc-syz-resol.tst Plural/doc-twostd.tst Plural/doc-vdim.tst Plural/involut_lib.tst Plural/mult_general1.tst Plural/mult_general_q1.tst Plural/mult_lie1.tst Plural/mult_skew1.tst Plural/Syz-qso3.tst Plural/Syz-qso3-q3.tst Plural/TwoGB-g2-3.tst ; Plural/ucha2.tst Plural/ucha4.tst ;;; Plural/derham.tst ;; too long for now