Index: Tst/Rest.lst
===================================================================
--- Tst/Rest.lst	(revision 1cbc287030d12dc1184a3649787c929f7edcf35f)
+++ Tst/Rest.lst	(revision 1cbc287030d12dc1184a3649787c929f7edcf35f)
@@ -0,0 +1,435 @@
+BuchDL/Ex_App.tst
+BuchDL/Ex_L1.tst
+BuchDL/Ex_L2.tst
+BuchDL/Ex_L4.tst
+BuchDL/Ex_L5.tst
+BuchDL/Ex_L6.tst
+BuchDL/Ex_L9.tst
+BuchDL/Sol_Exe_1.tst
+BuchDL/Sol_Exe_2.tst
+BuchDL/Sol_Exe_3.tst
+BuchDL/Sol_Exe_5.tst
+Buch/Example_1_1_10.tst
+Buch/Example_1_1_8.tst
+Buch/Example_1_1_9.tst
+Buch/Example_1_2_12.tst
+Buch/Example_1_2_3.tst
+Buch/Example_1_3_13.tst
+Buch/Example_1_3_15.tst
+Buch/Example_1_3_3.tst
+Buch/Example_1_4_9.tst
+Buch/Example_1_5_9.tst
+Buch/Example_1_6_13.tst
+Buch/Example_1_7_9.tst
+Buch/Example_1_8_11.tst
+Buch/Example_1_8_13.tst
+Buch/Example_1_8_15.tst
+Buch/Example_1_8_18.tst
+Buch/Example_1_8_19.tst
+Buch/Example_1_8_1.tst
+Buch/Example_1_8_20.tst
+Buch/Example_1_8_2.tst
+Buch/Example_1_8_4.tst
+Buch/Example_1_8_6.tst
+Buch/Example_1_8_7.tst
+Buch/Example_1_8_9.tst
+Buch/Example_1_9_13.tst
+Buch/Example_1_9_20.tst
+Buch/Example_1_9_22.tst
+Buch/Example_1_9_23.tst
+Buch/Example_1_9_24.tst
+Buch/Example_1_9_25.tst
+Buch/Example_1_9_28.tst
+Buch/Example_1_9_29.tst
+Buch/Example_1_9_30.tst
+Buch/Example_1_9_31.tst
+Buch/Example_1_9_32.tst
+Buch/Example_1_9_33.tst
+Buch/Example_1_9_34.tst
+Buch/Example_1_9_3.tst
+Buch/Example_2_1_12.tst
+Buch/Example_2_1_19.tst
+Buch/Example_2_1_23.tst
+Buch/Example_2_1_25.tst
+Buch/Example_2_1_33.tst
+Buch/Example_2_1_6.tst
+Buch/Example_2_1_9.tst
+Buch/Example_2_2_13.tst
+Buch/Example_2_3_11.tst
+Buch/Example_2_3_9.tst
+Buch/Example_2_4_12.tst
+Buch/Example_2_5_13.tst
+Buch/Example_2_5_3.tst
+Buch/Example_2_6_11.tst
+Buch/Example_2_6_15.tst
+Buch/Example_2_6_3.tst
+Buch/Example_2_7_14.tst
+Buch/Example_2_7_5.tst
+Buch/Example_2_7_9.tst
+Buch/Example_2_8_1.tst
+Buch/Example_2_8_2.tst
+Buch/Example_2_8_3.tst
+Buch/Example_2_8_4.tst
+Buch/Example_3_1_4.tst
+Buch/Example_3_1_6.tst
+Buch/Example_3_2_3.tst
+Buch/Example_3_3_13.tst
+Buch/Example_3_3_8.tst
+Buch/Example_3_4_5.tst
+Buch/Example_3_5_15.tst
+Buch/Example_3_5_5.tst
+Buch/Example_3_5_9.tst
+Buch/Example_3_6_11.tst
+Buch/Example_3_6_9.tst
+Buch/Example_4_2_5.tst
+Buch/Example_4_2_6.tst
+Buch/Example_4_3_2.tst
+Buch/Example_4_3_3.tst
+Buch/Example_4_4_3.tst
+Buch/Example_4_4_8.tst
+Buch/Example_4_5_3.tst
+Buch/Example_4_6_26.tst
+Buch/Example_4_7_7.tst
+Buch/Example_5_2_4.tst
+Buch/Example_5_5_11.tst
+Buch/Example_5_7_6.tst
+Buch/Example_6_1_3.tst
+Buch/Example_6_2_10.tst
+Buch/Example_6_2_15.tst
+Buch/Example_6_2_4.tst
+Buch/Example_7_1_5.tst
+Buch/Example_7_2_6.tst
+Buch/Example_7_2_9.tst
+Buch/Example_7_3_12.tst
+Buch/Example_7_3_14.tst
+Buch/Example_7_3_17.tst
+Buch/Example_7_5_2.tst
+Buch/Example_7_6_17.tst
+Buch/Example_7_6_3.tst
+Buch/Example_7_7_8.tst
+Buch/Example_7_8_4.tst
+Buch/Example_7_8_7.tst
+Buch/Example_7_9_6.tst
+Buch/Example_B_5_10.tst
+Buch/Example_B_6_12.tst
+Buch/Example_B_6_2.tst
+Buch/Example_B_6_4.tst
+Buch/Example_B_7_5.tst
+Buch/Proc_3_7_1.tst
+Buch/Proc_3_7_2.tst
+Buch/Proc_3_7_3.tst
+Buch/Proc_4_6.tst
+Plural/AnnFD-sl2-10.tst
+Plural/AnnFD-sl2-4.tst
+Plural/AnnFD-sl2-7.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-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-resol.tst
+Plural/doc-syz.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-q3.tst
+Plural/Syz-qso3.tst
+Plural/TwoGB-g2-3.tst
+Plural/ucha4.tst
+Short/alexpoly.tst
+Short/algebralib.tst
+Short/allres_s.tst
+Short/arcAtPoint.tst
+Short/barei_s.tst
+Short/betti_s.tst
+Short/brnoeth_s.tst
+Short/bug_10.tst
+Short/bug_11.tst
+Short/bug_12.tst
+Short/bug_13.tst
+Short/bug_14.tst
+Short/bug_15.tst
+Short/bug_16.tst
+Short/bug_17.tst
+Short/bug_18.tst
+Short/bug_19.tst
+Short/bug_1.tst
+Short/bug_20.tst
+Short/bug_21.tst
+Short/bug_22.tst
+Short/bug_23.tst
+Short/bug_24.tst
+Short/bug_25.tst
+Short/bug_26.tst
+Short/bug_27.tst
+Short/bug_28.tst
+Short/bug_29.tst
+Short/bug_30.tst
+Short/bug_31.tst
+Short/bug_32.tst
+Short/bug_33.tst
+Short/bug_34.tst
+Short/bug_35.tst
+Short/bug_36.tst
+Short/bug_37.tst
+Short/bug_38.tst
+Short/bug_3.tst
+Short/bug_40.tst
+Short/bug_41.tst
+Short/bug_42.tst
+Short/bug_43.tst
+Short/bug_44.tst
+Short/bug_46.tst
+Short/bug_47.tst
+Short/bug_48.tst
+Short/bug_49.tst
+Short/bug_50.tst
+Short/bug_51.tst
+Short/bug_52.tst
+Short/bug_53.tst
+Short/bug_54.tst
+Short/bug_55.tst
+Short/bug_5.tst
+Short/bug_6.tst
+Short/bug_7.tst
+Short/bug_8.tst
+Short/bug_9.tst
+Short/bug_ainvar.tst
+Short/bug_barei_2.tst
+Short/bug_barei.tst
+Short/bug_c_dp.tst
+Short/bug_charseries.tst
+Short/bug_chinrem_mat.tst
+Short/bug_chin.tst
+Short/bug_diff.tst
+Short/bug_division.tst
+Short/bug_div.tst
+Short/bug_factorize.tst
+Short/bug_hilbstd.tst
+Short/bug_homog.tst
+Short/bug_interpol.tst
+Short/bug_mres.tst
+Short/bug_napMultT.tst
+Short/bug_pd.tst
+Short/bug_presolve.tst
+Short/bug_primdec.tst
+Short/bug_qring.tst
+Short/bug_qslimgb1.tst
+Short/bug_qslimgb.tst
+Short/bug_quotient.tst
+Short/bug_radcon.tst
+Short/bug_reduce.tst
+Short/bug_rp.tst
+Short/bug_sres_betti.tst
+Short/bug_sres_cyc5.tst
+Short/bug_sres.tst
+Short/bug_tr132.tst
+Short/bug_tr134.tst
+Short/bug_tr158.tst
+Short/bug_tr159.tst
+Short/bug_tr161.tst
+Short/bug_tr186.tst
+Short/bug_tr224.tst
+Short/bug_tr225.tst
+Short/bug_tr230.tst
+Short/bug_tr239.tst
+Short/bug_tr288.tst
+Short/bug_tr300.tst
+Short/bug_tr306.tst
+Short/bug_tr307.tst
+Short/bug_tr315.tst
+Short/bug_tr316.tst
+Short/bug_tr319.tst
+Short/bug_tr346.tst
+Short/bug_tr357.tst
+Short/bug_tr359.tst
+Short/bug_tr376.tst
+Short/bug_tr379.tst
+Short/bug_tr380.tst
+Short/bug_tr387.tst
+Short/bug_tr404.tst
+Short/bug_x_i_j.tst
+Short/classify_s.tst
+Short/cyc5_lp.tst
+Short/dbm_s.tst
+Short/decodegb.tst
+Short/deform_s.tst
+Short/div_lift_s.tst
+Short/ecyclic_5_32003_lp.tst
+Short/ecyclic_6_32003_lp.tst
+Short/ecyclic_7_32003_lp.tst
+Short/eliminate_1.tst
+Short/eliminate_3.tst
+Short/eliminate_4.tst
+Short/eliminate_5.tst
+Short/eliminate_7.tst
+Short/elimlib_s.tst
+Short/equising_s.tst
+Short/factorizep_s.tst
+Short/factorizeQa_s.tst
+Short/fetch_s.tst
+Short/fglm1_s.tst
+Short/fglmquot1_s.tst
+Short/finduni_s.tst
+Short/finvarlb.tst
+Short/finvar_s.tst
+Short/fpadim_s.tst
+Short/gaussm_ex.tst
+Short/gcd0_s.tst
+Short/gcdp_s.tst
+Short/gerhard_1_32003_lp.tst
+Short/Gonnet-83_1_32003_dp_slim.tst
+Short/Gonnet-83_32003_dp_slim.tst
+Short/graphics.tst
+Short/groebner_s.tst
+Short/highcorner_s.tst
+Short/hilb_weights.tst
+Short/hnoether_s.tst
+Short/homolog_s.tst
+Short/hres_s.tst
+Short/imap.tst
+Short/intdet_s.tst
+Short/intersect_s.tst
+Short/invarlib.tst
+Short/invar.tst
+Short/janet.tst
+Short/Katsura_3_32003_lp_slimgb.tst
+Short/Katsura_4_32003_lp_slimgb.tst
+Short/Katsura_5_32003_lp_slimgb.tst
+Short/Katsura_6_32003_lp_slimgb.tst
+Short/latex.tst
+Short/liftstd_s.tst
+Short/lift_s.tst
+Short/lres_s.tst
+Short/minor_s.tst
+Short/modstd.tst
+Short/modulo_s.tst
+Short/monodromy_s.tst
+Short/monomial_s.tst
+Short/mora_10.tst
+Short/mora_5.tst
+Short/mora_6.tst
+Short/mora_7.tst
+Short/mora_9.tst
+Short/mregular.tst
+Short/mres_s.tst
+Short/ncfactor_example_all_procedures_s.tst
+Short/ncfactor_inhomog_s.tst
+Short/normal.tst
+Short/pAddManyVarsManyL_s.tst
+Short/pAddManyVars_s.tst
+Short/pAdd_s.tst
+Short/parallel_s.tst
+Short/paraplan_s.tst
+Short/pMultManyVarsManyL_s.tst
+Short/pMultManyVars_s.tst
+Short/pMult_s.tst
+Short/polylib_s.tst
+Short/primdec2.tst
+Short/primdec_s.tst
+Short/primefactors.tst
+Short/primitiv_s.tst
+Short/qhw_s.tst
+Short/quotient_s.tst
+Short/rcyclic_13_32003_lp.tst
+Short/rcyclic_14_32003_lp.tst
+Short/rcyclic_15_32003_lp.tst
+Short/rcyclic_16_32003_lp.tst
+Short/rcyclic_17_32003_lp.tst
+Short/realclassify_s.tst
+Short/reduce_s.tst
+Short/resjung.tst
+Short/res_s.tst
+Short/resultantp_s.tst
+Short/ringlist-z.tst
+Short/ringmaps.tst
+Short/ringmod2m.tst
+Short/ringmodn.tst
+Short/ringsum.tst
+Short/ringz.tst
+Short/rInit.tst
+Short/schwarz_6_32003_lp.tst
+Short/schwarz_7_32003_lp.tst
+Short/schwarz_8_32003_lp.tst
+Short/sheafcoh_s.tst
+Short/sing_s.tst
+Short/slimgb_rcyclic12_32003_dp.tst
+Short/slimgb_rcyclic12_32003_lp.tst
+Short/slimgb_rcyclic13_32003_dp.tst
+Short/slimgb_rcyclic13_32003_lp.tst
+Short/slimgb_rcyclic14_32003_dp.tst
+Short/slimgb_rcyclic15_32003_dp.tst
+Short/slimgb_s.tst
+Short/slim_invariant_elim.tst
+Short/solve_s.tst
+Short/spcurve.tst
+Short/spectrumlib.tst
+Short/sres_s.tst
+Short/std_s.tst
+Short/string.tst
+Short/test_c_dp.tst
+Short/triang_s.tst
+Short/tst_s.tst
+Short/waitall.tst
+Short/waitfirst.tst
+Short/Zdim_s.tst
+Short/zerodim_11_32003_lp_slimgb.tst
+Short/zerodim_12_32003_lp_slimgb.tst
+Short/zerodim_1_32003_lp_slimgb.tst
+Short/zerodim_13_32003_lp_slimgb.tst
+Short/zerodim_14_32003_lp_slimgb.tst
+Short/zerodim_15_32003_lp_slimgb.tst
+Short/zerodim_16_32003_lp_slimgb.tst
+Short/zerodim_18_32003_lp_slimgb.tst
+Short/zerodim_20_32003_lp_slimgb.tst
+Short/zerodim_2_32003_lp_slimgb.tst
+Short/zerodim_23_32003_lp_slimgb.tst
+Short/zerodim_24_32003_lp_slimgb.tst
+Short/zerodim_26_32003_lp_slimgb.tst
+Short/zerodim_27_32003_lp_slimgb.tst
+Short/zerodim_28_32003_lp_slimgb.tst
+Short/zerodim_29_32003_lp_slimgb.tst
+Short/zerodim_30_32003_lp_slimgb.tst
+Short/zerodim_31_32003_lp_slimgb.tst
+Short/zerodim_3_32003_lp_slimgb.tst
+Short/zerodim_33_32003_lp_slimgb.tst
+Short/zerodim_40_32003_lp_slimgb.tst
+Short/zerodim_41_32003_lp_slimgb.tst
+Short/zerodim_42_32003_lp_slimgb.tst
+Short/zerodim_4_32003_lp_slimgb.tst
+Short/zerodim_43_32003_lp_slimgb.tst
+Short/zerodim_45_32003_lp_slimgb.tst
+Short/zerodim_46_32003_lp_slimgb.tst
+Short/zerodim_51_32003_lp_slimgb.tst
+Short/zerodim_5_32003_lp_slimgb.tst
+Short/zerodim_54_32003_lp_slimgb.tst
+Short/zerodim_57_32003_lp_slimgb.tst
+Short/zerodim_58_32003_lp_slimgb.tst
+Short/zerodim_59_32003_lp_slimgb.tst
+Short/zerodim_60_32003_lp_slimgb.tst
+Short/zerodim_61_32003_lp_slimgb.tst
+Short/zerodim_62_32003_lp_slimgb.tst
+Short/zerodim_7_32003_lp_slimgb.tst
+Short/zerodim_8_32003_lp_slimgb.tst
+Short/zerodim_9_32003_lp_slimgb.tst
+Short/ZidealAdd_s.tst
