Tar Archive: /hpux/Maths/Misc/CLIB-0.2/CLIB-0.2-src-11.00.tar.gz Permissions Size Date Name
drwxr-xr-x 0 Aug 19 14:11 1998 CLIB-0.2/ drwxr-xr-x 0 Dec 17 13:45 1999 CLIB-0.2/include/ drwxr-xr-x 0 Dec 17 13:45 1999 CLIB-0.2/BASICS/ -rw-r--r-- 3604 Jun 19 18:57 1998 CLIB-0.2/BASICS/clb_error.c -rw-r--r-- 986 Aug 19 11:20 1998 CLIB-0.2/BASICS/Makefile -rw-r--r-- 3865 Aug 11 15:50 1998 CLIB-0.2/BASICS/clb_defines.h -rw-r--r-- 1528 Aug 11 15:56 1998 CLIB-0.2/BASICS/clb_error.h -rw-r--r-- 14014 Aug 18 16:08 1998 CLIB-0.2/BASICS/Makefile.dependencies -rw-r--r-- 2734 Aug 11 15:56 1998 CLIB-0.2/BASICS/clb_memory.h -rw-r--r-- 8852 Aug 5 20:04 1998 CLIB-0.2/BASICS/clb_memory.c -rw-r--r-- 2626 Jun 19 18:57 1998 CLIB-0.2/BASICS/clb_dstrings.h -rw-r--r-- 8175 Jun 19 18:57 1998 CLIB-0.2/BASICS/clb_dstrings.c -rw-r--r-- 1697 Jun 19 18:57 1998 CLIB-0.2/BASICS/clb_verbose.h -rw-r--r-- 1487 Jun 19 18:57 1998 CLIB-0.2/BASICS/clb_verbose.c -rw-r--r-- 22163 Jun 19 18:57 1998 CLIB-0.2/BASICS/clb_stringtrees.c -rw-r--r-- 19632 Aug 11 00:33 1998 CLIB-0.2/BASICS/clb_ptrees.c -rw-r--r-- 18845 Jun 19 18:57 1998 CLIB-0.2/BASICS/clb_numtrees.c -rw-r--r-- 2360 Jun 19 18:57 1998 CLIB-0.2/BASICS/clb_stringtrees.h -rw-r--r-- 2500 Jun 19 18:57 1998 CLIB-0.2/BASICS/clb_numtrees.h -rw-r--r-- 2354 Aug 11 00:33 1998 CLIB-0.2/BASICS/clb_ptrees.h -rw-r--r-- 6265 Jul 29 15:20 1998 CLIB-0.2/BASICS/clb_pstacks.c -rw-r--r-- 2636 Jul 27 00:33 1998 CLIB-0.2/BASICS/clb_pstacks.h -rw-r--r-- 2001 Aug 10 18:02 1998 CLIB-0.2/BASICS/clb_sysdate.h -rw-r--r-- 2864 Jun 19 18:57 1998 CLIB-0.2/BASICS/clb_sysdate.c -rw-r--r-- 2964 Jun 19 18:57 1998 CLIB-0.2/BASICS/clb_avlgeneric.h -rw-r--r-- 2054 Jun 19 18:57 1998 CLIB-0.2/BASICS/clb_dstacks.h -rw-r--r-- 5830 Jun 19 18:57 1998 CLIB-0.2/BASICS/clb_dstacks.c -rw-r--r-- 5462 Jul 2 00:52 1998 CLIB-0.2/BASICS/clb_pqueue.c -rw-r--r-- 2201 Jun 30 17:05 1998 CLIB-0.2/BASICS/clb_pqueue.h -rw-r--r-- 1696 Jul 22 03:54 1998 CLIB-0.2/BASICS/clb_plist.h -rw-r--r-- 4851 Jul 27 16:22 1998 CLIB-0.2/BASICS/clb_plist.c -rw-r--r-- 2064 Jul 23 16:49 1998 CLIB-0.2/BASICS/clb_pdarrays.h -rw-r--r-- 3781 Jul 24 01:59 1998 CLIB-0.2/BASICS/clb_pdarrays.c -rw-r--r-- 8748 Jul 28 14:04 1998 CLIB-0.2/BASICS/clb_memory.c~ -rw-r--r-- 3742 Aug 7 01:59 1998 CLIB-0.2/BASICS/clb_defines.h~ -rw-r--r-- 1865 Jun 19 18:57 1998 CLIB-0.2/BASICS/clb_sysdate.h~ -rw-r--r-- 2308 Jun 19 18:57 1998 CLIB-0.2/BASICS/clb_ptrees.h~ -rw-r--r-- 19626 Jun 19 18:57 1998 CLIB-0.2/BASICS/clb_ptrees.c~ -rw-r--r-- 1610 Jun 19 18:57 1998 CLIB-0.2/BASICS/clb_error.h~ -rw-r--r-- 2754 Jul 28 13:53 1998 CLIB-0.2/BASICS/clb_memory.h~ -rw-r--r-- 986 Aug 18 16:09 1998 CLIB-0.2/BASICS/Makefile.cln -rw-r--r-- 2058 Aug 19 14:38 1998 CLIB-0.2/Makefile -rw-r--r-- 3670 Aug 11 01:05 1998 CLIB-0.2/README -rw-r--r-- 2517 Aug 19 12:26 1998 CLIB-0.2/Makefile.vars drwxr-xr-x 0 Dec 17 13:45 1999 CLIB-0.2/lib/ drwxr-xr-x 0 Dec 17 13:45 1999 CLIB-0.2/INOUT/ -rw-r--r-- 803 Aug 19 11:55 1998 CLIB-0.2/INOUT/Makefile -rw-r--r-- 6657 Aug 11 21:16 1998 CLIB-0.2/INOUT/Makefile.dependencies -rw-r--r-- 5802 Jun 19 18:57 1998 CLIB-0.2/INOUT/cio_streams.c -rw-r--r-- 2571 Jun 19 18:57 1998 CLIB-0.2/INOUT/cio_streams.h -rw-r--r-- 5953 Jun 19 18:57 1998 CLIB-0.2/INOUT/cio_scanner.h -rw-r--r-- 1159 Jun 19 18:57 1998 CLIB-0.2/INOUT/cio_basicparser.h -rw-r--r-- 22999 Aug 6 15:46 1998 CLIB-0.2/INOUT/cio_scanner.c -rw-r--r-- 4270 Jun 19 18:57 1998 CLIB-0.2/INOUT/cio_basicparser.c -rw-r--r-- 3219 Jun 19 18:57 1998 CLIB-0.2/INOUT/cio_commandline.h -rw-r--r-- 17357 Jun 19 18:57 1998 CLIB-0.2/INOUT/cio_commandline.c -rw-r--r-- 1412 Jun 30 23:20 1998 CLIB-0.2/INOUT/cio_output.h -rw-r--r-- 3183 Jun 19 18:57 1998 CLIB-0.2/INOUT/cio_output.c -rw-r--r-- 22997 Jun 19 18:57 1998 CLIB-0.2/INOUT/cio_scanner.c~ -rw-r--r-- 803 Aug 18 16:12 1998 CLIB-0.2/INOUT/Makefile.cln drwxr-xr-x 0 Dec 17 13:45 1999 CLIB-0.2/TEST/ -rw-r--r-- 7101 Aug 11 16:01 1998 CLIB-0.2/TEST/cl_test.c -rw-r--r-- 2124 Aug 19 12:53 1998 CLIB-0.2/TEST/Makefile -rw-r--r-- 17205 Aug 11 21:19 1998 CLIB-0.2/TEST/Makefile.dependencies -rw-r--r-- 32 Jun 24 14:30 1998 CLIB-0.2/TEST/test2 -rw-r--r-- 32 Jun 24 14:30 1998 CLIB-0.2/TEST/test1 -rw-r--r-- 6811 Aug 11 16:01 1998 CLIB-0.2/TEST/cl_rwtest.c -rw-r--r-- 69 Jun 24 14:30 1998 CLIB-0.2/TEST/test3 -rw-r--r-- 7581 Aug 11 16:01 1998 CLIB-0.2/TEST/ord_test.c -rw-r--r-- 355 Jun 19 18:57 1998 CLIB-0.2/TEST/testord.txt -rw-r--r-- 5075 Aug 11 16:01 1998 CLIB-0.2/TEST/cl_sigparse.c -rw-r--r-- 6774 Aug 11 16:01 1998 CLIB-0.2/TEST/cl_paratest.c -rw-r--r-- 302159 Jun 26 12:45 1998 CLIB-0.2/TEST/test_demod -rwxr-xr-- 924 Aug 19 12:53 1998 CLIB-0.2/TEST/termgen.awk -rw-r--r-- 22 Jun 24 14:30 1998 CLIB-0.2/TEST/test1_demod -rw-r--r-- 7822 Jun 24 14:30 1998 CLIB-0.2/TEST/test_demod_nf -rw-r--r-- 8961 Jun 24 14:30 1998 CLIB-0.2/TEST/test2_demod -rw-r--r-- 7026 Aug 11 16:01 1998 CLIB-0.2/TEST/cl_factortest.c -rw-r--r-- 10155 Jun 25 12:49 1998 CLIB-0.2/TEST/testkbo.data -rw-r--r-- 4864 Jun 24 14:30 1998 CLIB-0.2/TEST/testlpo.txt -rw-r--r-- 36 Jun 24 14:30 1998 CLIB-0.2/TEST/testsingle.txt -rw-r--r-- 5178 Aug 11 16:00 1998 CLIB-0.2/TEST/ord_gen_test.c~ -rw-r--r-- 5390 Aug 11 16:01 1998 CLIB-0.2/TEST/ord_gen_test.c -rw-r--r-- 1140 Jul 31 21:40 1998 CLIB-0.2/TEST/Makefile~ -rwxr-xr-- 935 Jun 19 18:57 1998 CLIB-0.2/TEST/termgen.awk.cln -rw-r--r-- 1563 Aug 18 16:46 1998 CLIB-0.2/TEST/Makefile.cln drwxr-xr-x 0 Dec 17 13:45 1999 CLIB-0.2/TERMS/ -rw-r--r-- 951 Aug 19 12:00 1998 CLIB-0.2/TERMS/Makefile -rw-r--r-- 18603 Aug 11 21:16 1998 CLIB-0.2/TERMS/Makefile.dependencies -rw-r--r-- 3310 Jun 19 18:57 1998 CLIB-0.2/TERMS/cte_signature.h -rw-r--r-- 11787 Jun 19 18:57 1998 CLIB-0.2/TERMS/cte_signature.c -rw-r--r-- 29131 Jul 17 23:54 1998 CLIB-0.2/TERMS/cte_termbanks.c -rw-r--r-- 4155 Jun 24 16:33 1998 CLIB-0.2/TERMS/cte_termbanks.h -rw-r--r-- 8579 Jul 14 18:12 1998 CLIB-0.2/TERMS/cte_subst.c -rw-r--r-- 1228 Jul 1 00:31 1998 CLIB-0.2/TERMS/cte_types.h -rw-r--r-- 1976 Jun 19 18:57 1998 CLIB-0.2/TERMS/cte_subst.h -rw-r--r-- 2770 Jul 22 03:58 1998 CLIB-0.2/TERMS/cte_termvars.h -rw-r--r-- 2145 Jun 19 18:57 1998 CLIB-0.2/TERMS/cte_termtrees.h -rw-r--r-- 18555 Aug 11 00:32 1998 CLIB-0.2/TERMS/cte_termtrees.c -rw-r--r-- 1673 Jun 30 18:06 1998 CLIB-0.2/TERMS/cte_replace.h -rw-r--r-- 6762 Jul 22 04:01 1998 CLIB-0.2/TERMS/cte_termvars.c drwxr-xr-x 0 Aug 18 15:56 1998 CLIB-0.2/TERMS/OBSOLET/ -rw-r--r-- 17582 Jun 19 18:57 1998 CLIB-0.2/TERMS/OBSOLET/cte_terms.c -rw-r--r-- 4640 Jun 19 18:57 1998 CLIB-0.2/TERMS/OBSOLET/cte_terms.h -rw-r--r-- 4142 Jun 19 18:57 1998 CLIB-0.2/TERMS/OBSOLET/cte_vartrans.c -rw-r--r-- 1910 Jun 19 18:57 1998 CLIB-0.2/TERMS/OBSOLET/cte_vartrans.h -rw-r--r-- 3609 Jun 19 18:57 1998 CLIB-0.2/TERMS/OBSOLET/cte_varmanip.c -rw-r--r-- 1543 Jun 19 18:57 1998 CLIB-0.2/TERMS/OBSOLET/cte_varmanip.h -rw-r--r-- 5876 Jul 14 17:51 1998 CLIB-0.2/TERMS/cte_termtypes.h -rw-r--r-- 1335 Jun 19 18:57 1998 CLIB-0.2/TERMS/README.terms -rw-r--r-- 7932 Jul 14 17:47 1998 CLIB-0.2/TERMS/cte_termtypes.c -rw-r--r-- 2790 Jun 23 18:51 1998 CLIB-0.2/TERMS/cte_termfunc.h -rw-r--r-- 22362 Jul 14 18:35 1998 CLIB-0.2/TERMS/cte_termfunc.c -rw-r--r-- 4347 Jun 19 18:57 1998 CLIB-0.2/TERMS/cte_termpos.c -rw-r--r-- 6855 Jun 19 18:57 1998 CLIB-0.2/TERMS/cte_match_mgu_1-1.c -rw-r--r-- 1460 Jun 29 17:45 1998 CLIB-0.2/TERMS/cte_match_mgu_1-1.h -rw-r--r-- 2405 Jun 19 18:57 1998 CLIB-0.2/TERMS/cte_termpos.h -rw-r--r-- 11846 Jul 1 17:56 1998 CLIB-0.2/TERMS/cte_replace.c -rw-r--r-- 0 Jun 19 18:57 1998 CLIB-0.2/TERMS/lop -rw-r--r-- 2528 Jul 22 04:05 1998 CLIB-0.2/TERMS/cte_varhash.h -rw-r--r-- 6079 Jul 27 00:37 1998 CLIB-0.2/TERMS/cte_varhash.c -rw-r--r-- 18901 Jul 14 17:35 1998 CLIB-0.2/TERMS/cte_termtrees.c~ -rw-r--r-- 951 Aug 18 16:14 1998 CLIB-0.2/TERMS/Makefile.cln drwxr-xr-x 0 Aug 18 15:56 1998 CLIB-0.2/SKELETONS/ -rw-r--r-- 749 Jun 19 18:57 1998 CLIB-0.2/SKELETONS/Makefile.ctmp -rw-r--r-- 622 Jun 19 18:57 1998 CLIB-0.2/SKELETONS/README.commentboxes -rw-r--r-- 1359 Jun 19 18:57 1998 CLIB-0.2/SKELETONS/cfcbox -rw-r--r-- 963 Jun 19 18:57 1998 CLIB-0.2/SKELETONS/cfhbox -rw-r--r-- 222 Jun 19 18:57 1998 CLIB-0.2/SKELETONS/dbox -rw-r--r-- 227 Jun 19 18:57 1998 CLIB-0.2/SKELETONS/fbox -rw-r--r-- 58 Jun 19 18:57 1998 CLIB-0.2/SKELETONS/dfbox -rw-r--r-- 241 Jun 19 18:57 1998 CLIB-0.2/SKELETONS/tfbox -rw-r--r-- 541 Aug 19 12:27 1998 CLIB-0.2/Makefile.services drwxr-xr-x 0 Dec 17 13:45 1999 CLIB-0.2/SIMPLE_APPS/ -rw-r--r-- 1599 Aug 19 14:07 1998 CLIB-0.2/SIMPLE_APPS/Makefile -rw-r--r-- 2686 Jun 19 18:57 1998 CLIB-0.2/SIMPLE_APPS/Makefile.dependencies -rw-r--r-- 5014 Aug 19 11:18 1998 CLIB-0.2/SIMPLE_APPS/term2dag.c -rw-r--r-- 34 Jun 19 18:57 1998 CLIB-0.2/SIMPLE_APPS/test1 -rw-r--r-- 44 Jun 19 18:57 1998 CLIB-0.2/SIMPLE_APPS/test2 -rw-r--r-- 4068 Jun 19 18:57 1998 CLIB-0.2/SIMPLE_APPS/ex_commandline.c -rw-r--r-- 701 Jun 19 18:57 1998 CLIB-0.2/SIMPLE_APPS/test -rw-r--r-- 5008 Jun 19 18:57 1998 CLIB-0.2/SIMPLE_APPS/term2dag.c.cln -rw-r--r-- 1045 Aug 19 11:12 1998 CLIB-0.2/SIMPLE_APPS/Makefile.cln drwxr-xr-x 0 Dec 17 13:45 1999 CLIB-0.2/DOC/ -rw-r--r-- 796 Jun 19 18:57 1998 CLIB-0.2/DOC/clib.tex -rw-r--r-- 10932 Jun 19 18:57 1998 CLIB-0.2/DOC/io.tex -rw-r--r-- 21533 Jun 19 18:57 1998 CLIB-0.2/DOC/basics.tex -rw-r--r-- 1463 Jun 19 18:57 1998 CLIB-0.2/DOC/intro.tex -rw-r--r-- 1099 Aug 19 13:12 1998 CLIB-0.2/DOC/Makefile -rw-r--r-- 11739 Jun 19 18:57 1998 CLIB-0.2/DOC/terms.tex -rw-r--r-- 4467 Jun 19 18:57 1998 CLIB-0.2/DOC/unshared_terms.fig -rw-r--r-- 11386 Jun 19 18:57 1998 CLIB-0.2/DOC/unshared_terms.eps -rw-r--r-- 4061 Jun 19 18:57 1998 CLIB-0.2/DOC/installation.tex -rw-r--r-- 820 Jun 19 18:57 1998 CLIB-0.2/DOC/file_layout.fig -rw-r--r-- 3866 Jun 19 18:57 1998 CLIB-0.2/DOC/file_layout.eps -rw-r--r-- 453 Aug 10 16:27 1998 CLIB-0.2/DOC/HISTORY -rw-r--r-- 243 Jun 19 18:57 1998 CLIB-0.2/DOC/HISTORY~ -rw-r--r-- 1663 Aug 11 19:48 1998 CLIB-0.2/DOC/ANNOUNCE -rw-r--r-- 670 Aug 11 00:52 1998 CLIB-0.2/DOC/PORTING -rw-r--r-- 430 Aug 11 00:45 1998 CLIB-0.2/DOC/PORTING~ -rw-r--r-- 674 Aug 10 18:14 1998 CLIB-0.2/DOC/ANNOUNCE~ -rw-r--r-- 269 Aug 11 22:50 1998 CLIB-0.2/DOC/CREDITS~ -rw-r--r-- 271 Aug 11 22:50 1998 CLIB-0.2/DOC/CREDITS -rw-r--r-- 555 Jul 24 01:49 1998 CLIB-0.2/DOC/TODO -rw-r--r-- 1783 Aug 11 23:23 1998 CLIB-0.2/DOC/WISHLIST -rw-r--r-- 1109 Aug 11 23:00 1998 CLIB-0.2/DOC/WISHLIST~ -rw-r--r-- 700 Jun 19 18:57 1998 CLIB-0.2/DOC/Makefile.cln drwxr-xr-x 0 Dec 17 13:45 1999 CLIB-0.2/CLAUSES/ -rw-r--r-- 968 Aug 19 11:20 1998 CLIB-0.2/CLAUSES/Makefile -rw-r--r-- 25448 Aug 11 21:18 1998 CLIB-0.2/CLAUSES/Makefile.dependencies -rw-r--r-- 29696 Jul 14 16:23 1998 CLIB-0.2/CLAUSES/ccl_eqn.c -rw-r--r-- 5532 Jul 14 16:23 1998 CLIB-0.2/CLAUSES/ccl_eqn.h -rw-r--r-- 2606 Jun 28 12:21 1998 CLIB-0.2/CLAUSES/ccl_eqnlist.h -rw-r--r-- 2990 Jun 28 12:21 1998 CLIB-0.2/CLAUSES/ccl_evaluations.h -rw-r--r-- 20495 Jun 25 14:57 1998 CLIB-0.2/CLAUSES/ccl_evaluations.c -rw-r--r-- 16066 Jul 20 14:39 1998 CLIB-0.2/CLAUSES/ccl_eqnlist.c -rw-r--r-- 4479 Jun 28 12:21 1998 CLIB-0.2/CLAUSES/ccl_clauses.h -rw-r--r-- 17253 Jul 2 15:30 1998 CLIB-0.2/CLAUSES/ccl_clauses.c -rw-r--r-- 2988 Jul 2 14:52 1998 CLIB-0.2/CLAUSES/ccl_clausesets.h -rw-r--r-- 15078 Jul 24 17:20 1998 CLIB-0.2/CLAUSES/ccl_clausesets.c -rw-r--r-- 14217 Jul 29 14:54 1998 CLIB-0.2/CLAUSES/ccl_paramod.c -rw-r--r-- 8162 Jun 25 14:57 1998 CLIB-0.2/CLAUSES/ccl_clausepos.c -rw-r--r-- 2015 Jun 28 12:21 1998 CLIB-0.2/CLAUSES/ccl_clausepos.h -rw-r--r-- 2197 Jul 29 14:54 1998 CLIB-0.2/CLAUSES/ccl_paramod.h -rw-r--r-- 17467 Aug 11 23:30 1998 CLIB-0.2/CLAUSES/ccl_rewrite.c -rw-r--r-- 2201 Aug 11 15:17 1998 CLIB-0.2/CLAUSES/ccl_rewrite.h -rw-r--r-- 5448 Jun 25 14:57 1998 CLIB-0.2/CLAUSES/ccl_factor.c drwxr-xr-x 0 Aug 18 15:56 1998 CLIB-0.2/CLAUSES/OBSOLETE/ -rw-r--r-- 30687 Jun 25 14:07 1998 CLIB-0.2/CLAUSES/OBSOLETE/ccl_eqn.c -rw-r--r-- 25963 Jul 19 01:36 1998 CLIB-0.2/CLAUSES/OBSOLETE/ccl_pdtrees.c -rw-r--r-- 3518 Jul 19 01:36 1998 CLIB-0.2/CLAUSES/OBSOLETE/ccl_pdtrees.h -rw-r--r-- 1391 Jun 28 12:21 1998 CLIB-0.2/CLAUSES/ccl_factor.h -rw-r--r-- 1347 Jun 28 12:21 1998 CLIB-0.2/CLAUSES/ccl_eqnresolution.h -rw-r--r-- 4156 Jun 25 14:57 1998 CLIB-0.2/CLAUSES/ccl_eqnresolution.c -rw-r--r-- 1520 Aug 12 04:24 1998 CLIB-0.2/CLAUSES/ccl_subsumption.h -rw-r--r-- 10543 Aug 12 04:43 1998 CLIB-0.2/CLAUSES/ccl_subsumption.c -rw-r--r-- 3628 Aug 2 23:38 1998 CLIB-0.2/CLAUSES/ccl_pdtrees.h -rw-r--r-- 25599 Aug 8 19:02 1998 CLIB-0.2/CLAUSES/ccl_pdtrees.c -rw-r--r-- 4022 Aug 1 00:37 1998 CLIB-0.2/CLAUSES/ccl_pdtrees.h~ -rw-r--r-- 25545 Aug 4 20:04 1998 CLIB-0.2/CLAUSES/ccl_pdtrees.c~ -rw-r--r-- 0 Jul 2 17:34 1998 CLIB-0.2/CLAUSES/log -rw-r--r-- 1478 Aug 7 01:49 1998 CLIB-0.2/CLAUSES/ccl_subsumption.h~ -rw-r--r-- 9174 Aug 7 03:06 1998 CLIB-0.2/CLAUSES/ccl_subsumption.c~ -rw-r--r-- 2258 Aug 10 18:49 1998 CLIB-0.2/CLAUSES/ccl_rewrite.h~ -rw-r--r-- 17170 Aug 11 15:17 1998 CLIB-0.2/CLAUSES/ccl_rewrite.c~ -rw-r--r-- 968 Aug 18 16:20 1998 CLIB-0.2/CLAUSES/Makefile.cln drwxr-xr-x 0 Dec 17 13:45 1999 CLIB-0.2/ORDERINGS/ -rw-r--r-- 15355 Jun 19 18:57 1998 CLIB-0.2/ORDERINGS/cto_lpo_old.c -rw-r--r-- 3273 Aug 10 13:29 1998 CLIB-0.2/ORDERINGS/cto_ocb.h -rw-r--r-- 11618 Aug 10 13:30 1998 CLIB-0.2/ORDERINGS/cto_ocb.c -rw-r--r-- 809 Aug 19 11:55 1998 CLIB-0.2/ORDERINGS/Makefile -rw-r--r-- 12498 Aug 11 21:17 1998 CLIB-0.2/ORDERINGS/Makefile.dependencies -rw-r--r-- 15343 Jun 19 18:57 1998 CLIB-0.2/ORDERINGS/cto_lpo.c -rw-r--r-- 1261 Jun 19 18:57 1998 CLIB-0.2/ORDERINGS/cto_lpo.h -rw-r--r-- 1637 Aug 11 15:14 1998 CLIB-0.2/ORDERINGS/cto_orderings.h -rw-r--r-- 9458 Aug 10 15:47 1998 CLIB-0.2/ORDERINGS/cto_orderings.c drwxr-xr-x 0 Aug 18 15:56 1998 CLIB-0.2/ORDERINGS/OBSOLETE/ -rw-r--r-- 6767 Jun 19 18:57 1998 CLIB-0.2/ORDERINGS/OBSOLETE/cto_lpo.c -rw-r--r-- 1182 Jun 19 18:57 1998 CLIB-0.2/ORDERINGS/OBSOLETE/cto_lpo.h -rw-r--r-- 21115 Aug 4 20:04 1998 CLIB-0.2/ORDERINGS/OBSOLETE/cto_kbo.c -rw-r--r-- 15365 Aug 10 15:47 1998 CLIB-0.2/ORDERINGS/OBSOLETE/cto_kbovar.c -rw-r--r-- 1582 Aug 10 15:47 1998 CLIB-0.2/ORDERINGS/OBSOLETE/cto_kbovar.h -rw-r--r-- 16379 Jun 19 18:57 1998 CLIB-0.2/ORDERINGS/cto_lpo_debug.c -rw-r--r-- 23561 Aug 11 15:14 1998 CLIB-0.2/ORDERINGS/cto_kbo.c -rw-r--r-- 1770 Aug 11 15:14 1998 CLIB-0.2/ORDERINGS/cto_kbo.h -rw-r--r-- 11900 Jun 19 18:57 1998 CLIB-0.2/ORDERINGS/cto_kbo.c_sts -rw-r--r-- 11918 Jun 19 18:57 1998 CLIB-0.2/ORDERINGS/cto_kbo.c_orig -rw-r--r-- 1362 Jul 14 16:24 1998 CLIB-0.2/ORDERINGS/cto_basefuns.h -rw-r--r-- 4053 Jul 14 17:36 1998 CLIB-0.2/ORDERINGS/cto_basefuns.c -rw-r--r-- 17046 Aug 4 20:08 1998 CLIB-0.2/ORDERINGS/cto_kbo.c~ -rw-r--r-- 1607 Jul 22 03:57 1998 CLIB-0.2/ORDERINGS/cto_kbo.h~ -rw-r--r-- 806 Jul 31 21:41 1998 CLIB-0.2/ORDERINGS/Makefile~ -rw-r--r-- 3264 Jun 24 16:49 1998 CLIB-0.2/ORDERINGS/cto_ocb.h~ -rw-r--r-- 11532 Jul 27 16:24 1998 CLIB-0.2/ORDERINGS/cto_ocb.c~ -rw-r--r-- 9307 Jun 27 22:11 1998 CLIB-0.2/ORDERINGS/cto_orderings.c~ -rw-r--r-- 809 Aug 18 16:18 1998 CLIB-0.2/ORDERINGS/Makefile.cln drwxr-xr-x 0 Dec 17 13:45 1999 CLIB-0.2/HEURISTICS/ -rw-r--r-- 1056 Aug 19 11:55 1998 CLIB-0.2/HEURISTICS/Makefile -rw-r--r-- 1041 Jun 19 18:57 1998 CLIB-0.2/HEURISTICS/che_patterns.h -rw-r--r-- 1990 Jun 19 18:57 1998 CLIB-0.2/HEURISTICS/che_normsubst.c -rw-r--r-- 1484 Jun 19 18:57 1998 CLIB-0.2/HEURISTICS/che_normsubst.h -rw-r--r-- 36037 Aug 11 21:18 1998 CLIB-0.2/HEURISTICS/Makefile.dependencies -rw-r--r-- 2927 Jun 19 18:57 1998 CLIB-0.2/HEURISTICS/che_wfcb.h -rw-r--r-- 3247 Jun 28 23:46 1998 CLIB-0.2/HEURISTICS/che_hcb.h -rw-r--r-- 2949 Jun 19 18:57 1998 CLIB-0.2/HEURISTICS/che_wfcb.c -rw-r--r-- 1931 Jun 29 01:45 1998 CLIB-0.2/HEURISTICS/che_clauseweight.h -rw-r--r-- 7012 Jun 28 19:16 1998 CLIB-0.2/HEURISTICS/che_clauseweight.c -rw-r--r-- 1165 Jun 19 18:57 1998 CLIB-0.2/HEURISTICS/che_fifo.h -rw-r--r-- 2787 Jun 19 18:57 1998 CLIB-0.2/HEURISTICS/che_fifo.c -rw-r--r-- 3737 Jun 29 00:17 1998 CLIB-0.2/HEURISTICS/che_hcb.c -rw-r--r-- 3838 Jun 28 23:48 1998 CLIB-0.2/HEURISTICS/che_heuristics.c -rw-r--r-- 2104 Jun 28 23:48 1998 CLIB-0.2/HEURISTICS/che_heuristics.h -rw-r--r-- 1230 Jun 19 18:57 1998 CLIB-0.2/HEURISTICS/che_heu_standard.h -rw-r--r-- 4149 Jun 19 18:57 1998 CLIB-0.2/HEURISTICS/che_heu_standard.c -rw-r--r-- 1215 Jun 19 18:57 1998 CLIB-0.2/HEURISTICS/che_heu_weight.h -rw-r--r-- 3668 Jun 23 18:48 1998 CLIB-0.2/HEURISTICS/che_heu_weight.c -rw-r--r-- 1175 Jun 22 14:29 1998 CLIB-0.2/HEURISTICS/che_lifo.h -rw-r--r-- 5716 Jun 24 15:30 1998 CLIB-0.2/HEURISTICS/che_refinedweight.c -rw-r--r-- 1185 Jun 19 18:57 1998 CLIB-0.2/HEURISTICS/che_heu_refinedweight.h -rw-r--r-- 1778 Jun 19 18:57 1998 CLIB-0.2/HEURISTICS/che_refinedweight.h -rw-r--r-- 3900 Jun 19 18:57 1998 CLIB-0.2/HEURISTICS/che_heu_refinedweight.c -rw-r--r-- 2141 Jun 22 14:33 1998 CLIB-0.2/HEURISTICS/che_heu_fifo.c -rw-r--r-- 1097 Jun 22 14:41 1998 CLIB-0.2/HEURISTICS/che_heu_fifo.h -rw-r--r-- 2140 Jun 22 14:37 1998 CLIB-0.2/HEURISTICS/che_heu_lifo.c -rw-r--r-- 2786 Jun 22 14:43 1998 CLIB-0.2/HEURISTICS/che_lifo.c -rw-r--r-- 1097 Jun 22 14:41 1998 CLIB-0.2/HEURISTICS/che_heu_lifo.h -rw-r--r-- 1725 Jun 28 18:08 1998 CLIB-0.2/HEURISTICS/che_simweight.h -rw-r--r-- 5403 Jun 29 00:20 1998 CLIB-0.2/HEURISTICS/che_simweight.c -rw-r--r-- 1320 Jun 28 23:39 1998 CLIB-0.2/HEURISTICS/che_heu_exstandard.h -rw-r--r-- 4497 Jun 29 00:19 1998 CLIB-0.2/HEURISTICS/che_heu_exstandard.c -rw-r--r-- 1056 Aug 18 16:31 1998 CLIB-0.2/HEURISTICS/Makefile.cln drwxr-xr-x 0 Dec 17 13:45 1999 CLIB-0.2/CONTROL/ -rw-r--r-- 7229 Aug 10 13:33 1998 CLIB-0.2/CONTROL/cco_proofstate.c -rw-r--r-- 17188 Aug 11 15:17 1998 CLIB-0.2/CONTROL/cco_proofproc.c -rw-r--r-- 877 Aug 19 11:20 1998 CLIB-0.2/CONTROL/Makefile -rw-r--r-- 16985 Aug 11 21:19 1998 CLIB-0.2/CONTROL/Makefile.dependencies -rw-r--r-- 1431 Jul 14 18:22 1998 CLIB-0.2/CONTROL/cco_proofproc.h -rw-r--r-- 2306 Aug 10 18:15 1998 CLIB-0.2/CONTROL/cco_proofstate.h -rw-r--r-- 4649 Jul 2 22:41 1998 CLIB-0.2/CONTROL/cco_simplification.c -rw-r--r-- 1278 Jun 19 18:57 1998 CLIB-0.2/CONTROL/cco_simplification.h -rw-r--r-- 1244 Jun 19 18:57 1998 CLIB-0.2/CONTROL/cco_factoring.h -rw-r--r-- 2622 Jun 25 14:57 1998 CLIB-0.2/CONTROL/cco_factoring.c -rw-r--r-- 1255 Jun 19 18:57 1998 CLIB-0.2/CONTROL/cco_eqnresolving.h -rw-r--r-- 2515 Jun 25 14:57 1998 CLIB-0.2/CONTROL/cco_eqnresolving.c -rw-r--r-- 1487 Jun 19 18:57 1998 CLIB-0.2/CONTROL/cco_paramodulation.h -rw-r--r-- 4676 Jun 25 14:57 1998 CLIB-0.2/CONTROL/cco_paramodulation.c -rw-r--r-- 17255 Aug 10 18:47 1998 CLIB-0.2/CONTROL/cco_proofproc.c~ -rw-r--r-- 2306 Jun 30 23:16 1998 CLIB-0.2/CONTROL/cco_proofstate.h~ -rw-r--r-- 6990 Jul 25 12:52 1998 CLIB-0.2/CONTROL/cco_proofstate.c~ -rw-r--r-- 877 Aug 18 16:33 1998 CLIB-0.2/CONTROL/Makefile.cln drwxr-xr-x 0 Dec 17 13:45 1999 CLIB-0.2/PROVER/ -rw-r--r-- 1671 Aug 19 12:32 1998 CLIB-0.2/PROVER/Makefile -rw-r--r-- 13262 Aug 12 04:53 1998 CLIB-0.2/PROVER/eprover.c -rw-r--r-- 3223 Aug 11 21:19 1998 CLIB-0.2/PROVER/Makefile.dependencies -rw-r--r-- 852 Jun 20 01:33 1998 CLIB-0.2/PROVER/GROUP.lop -rw-r--r-- 495 Jun 19 18:57 1998 CLIB-0.2/PROVER/LAT4.lop -rw-r--r-- 376 Jun 19 18:57 1998 CLIB-0.2/PROVER/LAT3a.lop -rw-r--r-- 1552 Aug 11 16:12 1998 CLIB-0.2/PROVER/BOO001-1+rm_eq_rstfp.lop -rw-r--r-- 3905 Jun 23 22:12 1998 CLIB-0.2/PROVER/GRP001-1.lop -rw-r--r-- 2272 Jun 19 18:57 1998 CLIB-0.2/PROVER/MSC006-1.lop -rw-r--r-- 4976 Jun 19 18:57 1998 CLIB-0.2/PROVER/PUZ031-1.lop -rw-r--r-- 2416 Jun 28 19:28 1998 CLIB-0.2/PROVER/BOO007-2+rm_eq_rstfp.lop -rw-r--r-- 1525 Jun 29 00:23 1998 CLIB-0.2/PROVER/GRP119-1+rm_eq_rstfp.lop -rw-r--r-- 1882 Jun 30 18:37 1998 CLIB-0.2/PROVER/BOO007-4+rm_eq_rstfp.lop -rw-r--r-- 1807 Jul 1 12:55 1998 CLIB-0.2/PROVER/BOO004-4+rm_eq_rstfp.lop -rw-r--r-- 217953 Aug 10 15:36 1998 CLIB-0.2/PROVER/profile_lpo~ -rw-r--r-- 221821 Jul 2 23:04 1998 CLIB-0.2/PROVER/profile_casc15 -rw-r--r-- 225554 Jul 21 13:51 1998 CLIB-0.2/PROVER/profile_new -rwxr-xr-x 333 Aug 19 11:16 1998 CLIB-0.2/PROVER/run_mini_test -rw-r--r-- 11911 Aug 19 11:16 1998 CLIB-0.2/PROVER/mini-result -rw-r--r-- 1104 Jul 24 15:54 1998 CLIB-0.2/PROVER/mini-result_lxjessen2 -rwxr-xr-x 338 Jul 30 15:18 1998 CLIB-0.2/PROVER/run_mini_test~ -rw-r--r-- 217538 Aug 4 14:44 1998 CLIB-0.2/PROVER/profile_newindexing -rw-r--r-- 12924 Aug 11 19:50 1998 CLIB-0.2/PROVER/eprover.c~ -rw-r--r-- 216291 Aug 7 15:37 1998 CLIB-0.2/PROVER/profile_newsubsumption -rw-r--r-- 1457 Aug 10 15:06 1998 CLIB-0.2/PROVER/GRP121-1+rm_eq_rstfp.lop -rw-r--r-- 218038 Aug 10 15:37 1998 CLIB-0.2/PROVER/profile_lpo -rw-r--r-- 219762 Aug 10 15:45 1998 CLIB-0.2/PROVER/profile_kbo -rw-r--r-- 219677 Aug 10 15:44 1998 CLIB-0.2/PROVER/profile_kbo~ -rw-r--r-- 942 Aug 18 16:39 1998 CLIB-0.2/PROVER/Makefile.cln drwxr-xr-x 0 Aug 19 14:09 1998 CLIB-0.2/EXAMPLE_PROBLEMS/ drwxr-xr-x 0 Aug 18 15:57 1998 CLIB-0.2/EXAMPLE_PROBLEMS/BOO/ -rw-r--r-- 1552 Jun 19 18:57 1998 CLIB-0.2/EXAMPLE_PROBLEMS/BOO/BOO001-1+rm_eq_rstfp.lop -rw-r--r-- 1957 Jun 19 18:57 1998 CLIB-0.2/EXAMPLE_PROBLEMS/BOO/BOO002-1+rm_eq_rstfp.lop -rw-r--r-- 1711 Jun 19 18:57 1998 CLIB-0.2/EXAMPLE_PROBLEMS/BOO/BOO002-2+rm_eq_rstfp.lop -rw-r--r-- 2324 Jun 19 18:57 1998 CLIB-0.2/EXAMPLE_PROBLEMS/BOO/BOO003-2+rm_eq_rstfp.lop -rw-r--r-- 1832 Jun 19 18:57 1998 CLIB-0.2/EXAMPLE_PROBLEMS/BOO/BOO003-4+rm_eq_rstfp.lop -rw-r--r-- 2312 Jun 19 18:57 1998 CLIB-0.2/EXAMPLE_PROBLEMS/BOO/BOO004-2+rm_eq_rstfp.lop -rw-r--r-- 1807 Jun 19 18:57 1998 CLIB-0.2/EXAMPLE_PROBLEMS/BOO/BOO004-4+rm_eq_rstfp.lop -rw-r--r-- 2409 Jun 19 18:57 1998 CLIB-0.2/EXAMPLE_PROBLEMS/BOO/BOO005-2+rm_eq_rstfp.lop -rw-r--r-- 1904 Jun 19 18:57 1998 CLIB-0.2/EXAMPLE_PROBLEMS/BOO/BOO005-4+rm_eq_rstfp.lop -rw-r--r-- 2353 Jun 19 18:57 1998 CLIB-0.2/EXAMPLE_PROBLEMS/BOO/BOO006-2+rm_eq_rstfp.lop -rw-r--r-- 1861 Jun 19 18:57 1998 CLIB-0.2/EXAMPLE_PROBLEMS/BOO/BOO006-4+rm_eq_rstfp.lop -rw-r--r-- 2416 Jun 19 18:57 1998 CLIB-0.2/EXAMPLE_PROBLEMS/BOO/BOO007-2+rm_eq_rstfp.lop -rw-r--r-- 1882 Jun 19 18:57 1998 CLIB-0.2/EXAMPLE_PROBLEMS/BOO/BOO007-4+rm_eq_rstfp.lop -rw-r--r-- 661 Jun 20 21:16 1998 CLIB-0.2/EXAMPLE_PROBLEMS/BOO/test -rw-r--r-- 2344 Jun 19 18:57 1998 CLIB-0.2/EXAMPLE_PROBLEMS/BOO/BOO008-2+rm_eq_rstfp.lop -rw-r--r-- 1858 Jun 19 18:57 1998 CLIB-0.2/EXAMPLE_PROBLEMS/BOO/BOO008-4+rm_eq_rstfp.lop -rw-r--r-- 2330 Jun 19 18:57 1998 CLIB-0.2/EXAMPLE_PROBLEMS/BOO/BOO009-2+rm_eq_rstfp.lop -rw-r--r-- 1838 Jun 19 18:57 1998 CLIB-0.2/EXAMPLE_PROBLEMS/BOO/BOO009-4+rm_eq_rstfp.lop -rw-r--r-- 2329 Jun 19 18:57 1998 CLIB-0.2/EXAMPLE_PROBLEMS/BOO/BOO010-2+rm_eq_rstfp.lop -rw-r--r-- 1837 Jun 19 18:57 1998 CLIB-0.2/EXAMPLE_PROBLEMS/BOO/BOO010-4+rm_eq_rstfp.lop -rw-r--r-- 2498 Jun 19 18:57 1998 CLIB-0.2/EXAMPLE_PROBLEMS/BOO/BOO011-2+rm_eq_rstfp.lop -rw-r--r-- 1930 Jun 19 18:57 1998 CLIB-0.2/EXAMPLE_PROBLEMS/BOO/BOO011-4+rm_eq_rstfp.lop -rw-r--r-- 2317 Jun 19 18:57 1998 CLIB-0.2/EXAMPLE_PROBLEMS/BOO/BOO012-2+rm_eq_rstfp.lop -rw-r--r-- 1831 Jun 19 18:57 1998 CLIB-0.2/EXAMPLE_PROBLEMS/BOO/BOO012-4+rm_eq_rstfp.lop -rw-r--r-- 2751 Jun 19 18:57 1998 CLIB-0.2/EXAMPLE_PROBLEMS/BOO/BOO013-2+rm_eq_rstfp.lop -rw-r--r-- 1990 Jun 19 18:57 1998 CLIB-0.2/EXAMPLE_PROBLEMS/BOO/BOO013-4+rm_eq_rstfp.lop -rw-r--r-- 2484 Jun 19 18:57 1998 CLIB-0.2/EXAMPLE_PROBLEMS/BOO/BOO014-2+rm_eq_rstfp.lop -rw-r--r-- 1886 Jun 19 18:57 1998 CLIB-0.2/EXAMPLE_PROBLEMS/BOO/BOO014-4+rm_eq_rstfp.lop -rw-r--r-- 2546 Jun 19 18:57 1998 CLIB-0.2/EXAMPLE_PROBLEMS/BOO/BOO015-2+rm_eq_rstfp.lop -rw-r--r-- 1889 Jun 19 18:57 1998 CLIB-0.2/EXAMPLE_PROBLEMS/BOO/BOO015-4+rm_eq_rstfp.lop -rw-r--r-- 2349 Jun 19 18:57 1998 CLIB-0.2/EXAMPLE_PROBLEMS/BOO/BOO016-2+rm_eq_rstfp.lop -rw-r--r-- 2349 Jun 19 18:57 1998 CLIB-0.2/EXAMPLE_PROBLEMS/BOO/BOO017-2+rm_eq_rstfp.lop -rw-r--r-- 1930 Jun 19 18:57 1998 CLIB-0.2/EXAMPLE_PROBLEMS/BOO/BOO018-4+rm_eq_rstfp.lop -rw-r--r-- 1675 Jun 19 18:57 1998 CLIB-0.2/EXAMPLE_PROBLEMS/BOO/BOO019-1+rm_eq_rstfp.lop drwxr-xr-x 0 Aug 18 15:57 1998 CLIB-0.2/EXAMPLE_PROBLEMS/COL/ -rw-r--r-- 1591 Jun 19 18:57 1998 CLIB-0.2/EXAMPLE_PROBLEMS/COL/COL001-1+rm_eq_rstfp.lop -rw-r--r-- 1955 Jun 19 18:57 1998 CLIB-0.2/EXAMPLE_PROBLEMS/COL/COL001-2+rm_eq_rstfp.lop -rw-r--r-- 1729 Jun 19 18:57 1998 CLIB-0.2/EXAMPLE_PROBLEMS/COL/COL002-1+rm_eq_rstfp.lop -rw-r--r-- 2001 Jun 19 18:57 1998 CLIB-0.2/EXAMPLE_PROBLEMS/COL/COL002-4+rm_eq_rstfp.lop -rw-r--r-- 2034 Jun 19 18:57 1998 CLIB-0.2/EXAMPLE_PROBLEMS/COL/COL002-5+rm_eq_rstfp.lop -rw-r--r-- 2505 Jun 19 18:57 1998 CLIB-0.2/EXAMPLE_PROBLEMS/COL/COL003-1+rm_eq_rstfp.lop -rw-r--r-- 2096 Jun 19 18:57 1998 CLIB-0.2/EXAMPLE_PROBLEMS/COL/COL003-12+rm_eq_rstfp.lop -rw-r--r-- 2058 Jun 19 18:57 1998 CLIB-0.2/EXAMPLE_PROBLEMS/COL/COL003-13+rm_eq_rstfp.lop -rw-r--r-- 2058 Jun 19 18:57 1998 CLIB-0.2/EXAMPLE_PROBLEMS/COL/COL003-14+rm_eq_rstfp.lop -rw-r--r-- 2058 Jun 19 18:57 1998 CLIB-0.2/EXAMPLE_PROBLEMS/COL/COL003-15+rm_eq_rstfp.lop -rw-r--r-- 2058 Jun 19 18:57 1998 CLIB-0.2/EXAMPLE_PROBLEMS/COL/COL003-16+rm_eq_rstfp.lop -rw-r--r-- 1877 Jun 19 18:57 1998 CLIB-0.2/EXAMPLE_PROBLEMS/COL/COL003-17+rm_eq_rstfp.lop -rw-r--r-- 1877 Jun 19 18:57 1998 CLIB-0.2/EXAMPLE_PROBLEMS/COL/COL003-18+rm_eq_rstfp.lop -rw-r--r-- 1877 Jun 19 18:57 1998 CLIB-0.2/EXAMPLE_PROBLEMS/COL/COL003-19+rm_eq_rstfp.lop -rw-r--r-- 1870 Jun 19 18:57 1998 CLIB-0.2/EXAMPLE_PROBLEMS/COL/COL003-20+rm_eq_rstfp.lop -rw-r--r-- 1582 Jun 19 18:57 1998 CLIB-0.2/EXAMPLE_PROBLEMS/COL/COL004-1+rm_eq_rstfp.lop -rw-r--r-- 1763 Jun 19 18:57 1998 CLIB-0.2/EXAMPLE_PROBLEMS/COL/COL004-2+rm_eq_rstfp.lop -rw-r--r-- 1752 Jun 19 18:57 1998 CLIB-0.2/EXAMPLE_PROBLEMS/COL/COL004-3+rm_eq_rstfp.lop -rw-r--r-- 1738 Jun 19 18:57 1998 CLIB-0.2/EXAMPLE_PROBLEMS/COL/COL005-1+rm_eq_rstfp.lop -rw-r--r-- 1536 Jun 19 18:57 1998 CLIB-0.2/EXAMPLE_PROBLEMS/COL/COL006-1+rm_eq_rstfp.lop -rw-r--r-- 1877 Jun 19 18:57 1998 CLIB-0.2/EXAMPLE_PROBLEMS/COL/COL006-5+rm_eq_rstfp.lop -rw-r--r-- 1907 Jun 19 18:57 1998 CLIB-0.2/EXAMPLE_PROBLEMS/COL/COL006-6+rm_eq_rstfp.lop -rw-r--r-- 1837 Jun 19 18:57 1998 CLIB-0.2/EXAMPLE_PROBLEMS/COL/COL006-7+rm_eq_rstfp.lop -rw-r--r-- 1595 Jun 19 18:57 1998 CLIB-0.2/EXAMPLE_PROBLEMS/COL/COL007-1+rm_eq_rstfp.lop -rw-r--r-- 1800 Jun 19 18:57 1998 CLIB-0.2/EXAMPLE_PROBLEMS/COL/COL008-1+rm_eq_rstfp.lop -rw-r--r-- 1749 Jun 19 18:57 1998 CLIB-0.2/EXAMPLE_PROBLEMS/COL/COL009-1+rm_eq_rstfp.lop -rw-r--r-- 1762 Jun 19 18:57 1998 CLIB-0.2/EXAMPLE_PROBLEMS/COL/COL010-1+rm_eq_rstfp.lop -rw-r--r-- 1749 Jun 19 18:57 1998 CLIB-0.2/EXAMPLE_PROBLEMS/COL/COL011-1+rm_eq_rstfp.lop -rw-r--r-- 1608 Jun 19 18:57 1998 CLIB-0.2/EXAMPLE_PROBLEMS/COL/COL012-1+rm_eq_rstfp.lop -rw-r--r-- 1744 Jun 19 18:57 1998 CLIB-0.2/EXAMPLE_PROBLEMS/COL/COL013-1+rm_eq_rstfp.lop -rw-r--r-- 1718 Jun 19 18:57 1998 CLIB-0.2/EXAMPLE_PROBLEMS/COL/COL014-1+rm_eq_rstfp.lop -rw-r--r-- 1691 Jun 19 18:57 1998 CLIB-0.2/EXAMPLE_PROBLEMS/COL/COL015-1+rm_eq_rstfp.lop -rw-r--r-- 1807 Jun 19 18:57 1998 CLIB-0.2/EXAMPLE_PROBLEMS/COL/COL016-1+rm_eq_rstfp.lop -rw-r--r-- 1796 Jun 19 18:57 1998 CLIB-0.2/EXAMPLE_PROBLEMS/COL/COL017-1+rm_eq_rstfp.lop -rw-r--r-- 1835 Jun 19 18:57 1998 CLIB-0.2/EXAMPLE_PROBLEMS/COL/COL018-1+rm_eq_rstfp.lop -rw-r--r-- 1861 Jun 19 18:57 1998 CLIB-0.2/EXAMPLE_PROBLEMS/COL/COL019-1+rm_eq_rstfp.lop -rw-r--r-- 1874 Jun 19 18:57 1998 CLIB-0.2/EXAMPLE_PROBLEMS/COL/COL020-1+rm_eq_rstfp.lop -rw-r--r-- 1822 Jun 19 18:57 1998 CLIB-0.2/EXAMPLE_PROBLEMS/COL/COL021-1+rm_eq_rstfp.lop -rw-r--r-- 1809 Jun 19 18:57 1998 CLIB-0.2/EXAMPLE_PROBLEMS/COL/COL022-1+rm_eq_rstfp.lop -rw-r--r-- 1757 Jun 19 18:57 1998 CLIB-0.2/EXAMPLE_PROBLEMS/COL/COL023-1+rm_eq_rstfp.lop -rw-r--r-- 1822 Jun 19 18:57 1998 CLIB-0.2/EXAMPLE_PROBLEMS/COL/COL024-1+rm_eq_rstfp.lop -rw-r--r-- 1774 Jun 19 18:57 1998 CLIB-0.2/EXAMPLE_PROBLEMS/COL/COL025-1+rm_eq_rstfp.lop -rw-r--r-- 1749 Jun 19 18:57 1998 CLIB-0.2/EXAMPLE_PROBLEMS/COL/COL026-1+rm_eq_rstfp.lop -rw-r--r-- 1757 Jun 19 18:57 1998 CLIB-0.2/EXAMPLE_PROBLEMS/COL/COL027-1+rm_eq_rstfp.lop -rw-r--r-- 1757 Jun 19 18:57 1998 CLIB-0.2/EXAMPLE_PROBLEMS/COL/COL028-1+rm_eq_rstfp.lop -rw-r--r-- 1740 Jun 19 18:57 1998 CLIB-0.2/EXAMPLE_PROBLEMS/COL/COL029-1+rm_eq_rstfp.lop -rw-r--r-- 1781 Jun 19 18:57 1998 CLIB-0.2/EXAMPLE_PROBLEMS/COL/COL030-1+rm_eq_rstfp.lop -rw-r--r-- 1742 Jun 19 18:57 1998 CLIB-0.2/EXAMPLE_PROBLEMS/COL/COL031-1+rm_eq_rstfp.lop -rw-r--r-- 1742 Jun 19 18:57 1998 CLIB-0.2/EXAMPLE_PROBLEMS/COL/COL032-1+rm_eq_rstfp.lop -rw-r--r-- 1844 Jun 19 18:57 1998 CLIB-0.2/EXAMPLE_PROBLEMS/COL/COL033-1+rm_eq_rstfp.lop -rw-r--r-- 1833 Jun 19 18:57 1998 CLIB-0.2/EXAMPLE_PROBLEMS/COL/COL034-1+rm_eq_rstfp.lop -rw-r--r-- 1872 Jun 19 18:57 1998 CLIB-0.2/EXAMPLE_PROBLEMS/COL/COL035-1+rm_eq_rstfp.lop -rw-r--r-- 1885 Jun 19 18:57 1998 CLIB-0.2/EXAMPLE_PROBLEMS/COL/COL036-1+rm_eq_rstfp.lop -rw-r--r-- 1911 Jun 19 18:57 1998 CLIB-0.2/EXAMPLE_PROBLEMS/COL/COL037-1+rm_eq_rstfp.lop -rw-r--r-- 1859 Jun 19 18:57 1998 CLIB-0.2/EXAMPLE_PROBLEMS/COL/COL038-1+rm_eq_rstfp.lop -rw-r--r-- 1846 Jun 19 18:57 1998 CLIB-0.2/EXAMPLE_PROBLEMS/COL/COL039-1+rm_eq_rstfp.lop -rw-r--r-- 1859 Jun 19 18:57 1998 CLIB-0.2/EXAMPLE_PROBLEMS/COL/COL041-1+rm_eq_rstfp.lop -rw-r--r-- 1862 Jun 19 18:57 1998 CLIB-0.2/EXAMPLE_PROBLEMS/COL/COL042-1+rm_eq_rstfp.lop -rw-r--r-- 1873 Jun 19 18:57 1998 CLIB-0.2/EXAMPLE_PROBLEMS/COL/COL042-6+rm_eq_rstfp.lop -rw-r--r-- 1873 Jun 19 18:57 1998 CLIB-0.2/EXAMPLE_PROBLEMS/COL/COL042-7+rm_eq_rstfp.lop -rw-r--r-- 1873 Jun 19 18:57 1998 CLIB-0.2/EXAMPLE_PROBLEMS/COL/COL042-8+rm_eq_rstfp.lop -rw-r--r-- 1867 Jun 19 18:57 1998 CLIB-0.2/EXAMPLE_PROBLEMS/COL/COL042-9+rm_eq_rstfp.lop -rw-r--r-- 1983 Jun 19 18:57 1998 CLIB-0.2/EXAMPLE_PROBLEMS/COL/COL043-1+rm_eq_rstfp.lop -rw-r--r-- 1955 Jun 19 18:57 1998 CLIB-0.2/EXAMPLE_PROBLEMS/COL/COL043-3+rm_eq_rstfp.lop -rw-r--r-- 2002 Jun 19 18:57 1998 CLIB-0.2/EXAMPLE_PROBLEMS/COL/COL044-1+rm_eq_rstfp.lop -rw-r--r-- 1925 Jun 19 18:57 1998 CLIB-0.2/EXAMPLE_PROBLEMS/COL/COL044-6+rm_eq_rstfp.lop -rw-r--r-- 1925 Jun 19 18:57 1998 CLIB-0.2/EXAMPLE_PROBLEMS/COL/COL044-7+rm_eq_rstfp.lop -rw-r--r-- 1935 Jun 19 18:57 1998 CLIB-0.2/EXAMPLE_PROBLEMS/COL/COL044-8+rm_eq_rstfp.lop -rw-r--r-- 1935 Jun 19 18:57 1998 CLIB-0.2/EXAMPLE_PROBLEMS/COL/COL044-9+rm_eq_rstfp.lop -rw-r--r-- 1834 Jun 19 18:57 1998 CLIB-0.2/EXAMPLE_PROBLEMS/COL/COL045-1+rm_eq_rstfp.lop -rw-r--r-- 1871 Jun 19 18:57 1998 CLIB-0.2/EXAMPLE_PROBLEMS/COL/COL046-1+rm_eq_rstfp.lop -rw-r--r-- 1687 Jun 19 18:57 1998 CLIB-0.2/EXAMPLE_PROBLEMS/COL/COL047-1+rm_eq_rstfp.lop -rw-r--r-- 1801 Jun 19 18:57 1998 CLIB-0.2/EXAMPLE_PROBLEMS/COL/COL048-1+rm_eq_rstfp.lop -rw-r--r-- 2407 Jun 19 18:57 1998 CLIB-0.2/EXAMPLE_PROBLEMS/COL/COL049-1+rm_eq_rstfp.lop -rw-r--r-- 1562 Jun 19 18:57 1998 CLIB-0.2/EXAMPLE_PROBLEMS/COL/COL050-1+rm_eq_rstfp.lop -rw-r--r-- 1546 Jun 19 18:57 1998 CLIB-0.2/EXAMPLE_PROBLEMS/COL/COL051-1+rm_eq_rstfp.lop -rw-r--r-- 1674 Jun 19 18:57 1998 CLIB-0.2/EXAMPLE_PROBLEMS/COL/COL052-1+rm_eq_rstfp.lop -rw-r--r-- 1509 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/COL/COL053-1+rm_eq_rstfp.lop -rw-r--r-- 1569 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/COL/COL056-1+rm_eq_rstfp.lop -rw-r--r-- 1775 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/COL/COL057-1+rm_eq_rstfp.lop -rw-r--r-- 1543 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/COL/COL058-1+rm_eq_rstfp.lop -rw-r--r-- 2090 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/COL/COL058-2+rm_eq_rstfp.lop -rw-r--r-- 1995 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/COL/COL058-3+rm_eq_rstfp.lop -rw-r--r-- 1931 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/COL/COL059-1+rm_eq_rstfp.lop -rw-r--r-- 1660 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/COL/COL060-1+rm_eq_rstfp.lop -rw-r--r-- 1821 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/COL/COL060-2+rm_eq_rstfp.lop -rw-r--r-- 1821 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/COL/COL060-3+rm_eq_rstfp.lop -rw-r--r-- 1664 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/COL/COL061-1+rm_eq_rstfp.lop -rw-r--r-- 1825 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/COL/COL061-2+rm_eq_rstfp.lop -rw-r--r-- 1825 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/COL/COL061-3+rm_eq_rstfp.lop -rw-r--r-- 1659 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/COL/COL062-1+rm_eq_rstfp.lop -rw-r--r-- 1840 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/COL/COL062-2+rm_eq_rstfp.lop -rw-r--r-- 1840 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/COL/COL062-3+rm_eq_rstfp.lop -rw-r--r-- 1660 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/COL/COL063-1+rm_eq_rstfp.lop -rw-r--r-- 1841 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/COL/COL063-2+rm_eq_rstfp.lop -rw-r--r-- 1841 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/COL/COL063-3+rm_eq_rstfp.lop -rw-r--r-- 1841 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/COL/COL063-4+rm_eq_rstfp.lop -rw-r--r-- 1841 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/COL/COL063-5+rm_eq_rstfp.lop -rw-r--r-- 1841 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/COL/COL063-6+rm_eq_rstfp.lop -rw-r--r-- 1641 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/COL/COL064-1+rm_eq_rstfp.lop -rw-r--r-- 1861 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/COL/COL064-2+rm_eq_rstfp.lop -rw-r--r-- 1861 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/COL/COL064-3+rm_eq_rstfp.lop -rw-r--r-- 1861 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/COL/COL064-4+rm_eq_rstfp.lop -rw-r--r-- 1861 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/COL/COL064-5+rm_eq_rstfp.lop -rw-r--r-- 1861 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/COL/COL064-6+rm_eq_rstfp.lop -rw-r--r-- 1861 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/COL/COL064-7+rm_eq_rstfp.lop -rw-r--r-- 1861 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/COL/COL064-8+rm_eq_rstfp.lop -rw-r--r-- 1861 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/COL/COL064-9+rm_eq_rstfp.lop -rw-r--r-- 1863 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/COL/COL064-10+rm_eq_rstfp.lop -rw-r--r-- 1863 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/COL/COL064-11+rm_eq_rstfp.lop -rw-r--r-- 1691 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/COL/COL065-1+rm_eq_rstfp.lop -rw-r--r-- 1835 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/COL/COL066-1+rm_eq_rstfp.lop -rw-r--r-- 1985 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/COL/COL066-2+rm_eq_rstfp.lop -rw-r--r-- 1985 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/COL/COL066-3+rm_eq_rstfp.lop -rw-r--r-- 1666 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/COL/COL067-1+rm_eq_rstfp.lop -rw-r--r-- 1609 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/COL/COL068-1+rm_eq_rstfp.lop -rw-r--r-- 1612 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/COL/COL069-1+rm_eq_rstfp.lop -rw-r--r-- 1690 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/COL/COL070-1+rm_eq_rstfp.lop -rw-r--r-- 1748 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/COL/COL071-1+rm_eq_rstfp.lop -rw-r--r-- 1612 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/COL/COL072-1+rm_eq_rstfp.lop -rw-r--r-- 1719 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/COL/COL073-1+rm_eq_rstfp.lop -rw-r--r-- 1520 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/COL/COL075-2+rm_eq_rstfp.lop drwxr-xr-x 0 Aug 18 15:57 1998 CLIB-0.2/EXAMPLE_PROBLEMS/GRP/ -rw-r--r-- 2008 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/GRP/GRP001-2+rm_eq_rstfp.lop -rw-r--r-- 1766 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/GRP/GRP001-4+rm_eq_rstfp.lop -rw-r--r-- 2402 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/GRP/GRP002-2+rm_eq_rstfp.lop -rw-r--r-- 2341 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/GRP/GRP002-3+rm_eq_rstfp.lop -rw-r--r-- 2487 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/GRP/GRP002-4+rm_eq_rstfp.lop -rw-r--r-- 1718 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/GRP/GRP010-4+rm_eq_rstfp.lop -rw-r--r-- 1641 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/GRP/GRP011-4+rm_eq_rstfp.lop -rw-r--r-- 1751 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/GRP/GRP012-4+rm_eq_rstfp.lop -rw-r--r-- 1891 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/GRP/GRP014-1+rm_eq_rstfp.lop -rw-r--r-- 1675 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/GRP/GRP022-2+rm_eq_rstfp.lop -rw-r--r-- 1588 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/GRP/GRP023-2+rm_eq_rstfp.lop -rw-r--r-- 3372 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/GRP/GRP114-1+rm_eq_rstfp.lop -rw-r--r-- 1381 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/GRP/GRP115-1+rm_eq_rstfp.lop -rw-r--r-- 1374 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/GRP/GRP116-1+rm_eq_rstfp.lop -rw-r--r-- 1375 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/GRP/GRP117-1+rm_eq_rstfp.lop -rw-r--r-- 1406 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/GRP/GRP118-1+rm_eq_rstfp.lop -rw-r--r-- 1525 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/GRP/GRP119-1+rm_eq_rstfp.lop -rw-r--r-- 1456 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/GRP/GRP120-1+rm_eq_rstfp.lop -rw-r--r-- 1457 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/GRP/GRP121-1+rm_eq_rstfp.lop -rw-r--r-- 1488 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/GRP/GRP122-1+rm_eq_rstfp.lop -rw-r--r-- 3222 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/GRP/GRP136-1+rm_eq_rstfp.lop -rw-r--r-- 3227 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/GRP/GRP137-1+rm_eq_rstfp.lop -rw-r--r-- 3436 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/GRP/GRP138-1+rm_eq_rstfp.lop -rw-r--r-- 3407 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/GRP/GRP139-1+rm_eq_rstfp.lop -rw-r--r-- 3436 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/GRP/GRP140-1+rm_eq_rstfp.lop -rw-r--r-- 3408 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/GRP/GRP141-1+rm_eq_rstfp.lop -rw-r--r-- 3138 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/GRP/GRP142-1+rm_eq_rstfp.lop -rw-r--r-- 3166 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/GRP/GRP143-1+rm_eq_rstfp.lop -rw-r--r-- 3138 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/GRP/GRP144-1+rm_eq_rstfp.lop -rw-r--r-- 3166 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/GRP/GRP145-1+rm_eq_rstfp.lop -rw-r--r-- 3389 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/GRP/GRP146-1+rm_eq_rstfp.lop -rw-r--r-- 3432 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/GRP/GRP147-1+rm_eq_rstfp.lop -rw-r--r-- 3420 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/GRP/GRP148-1+rm_eq_rstfp.lop -rw-r--r-- 3401 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/GRP/GRP149-1+rm_eq_rstfp.lop -rw-r--r-- 3150 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/GRP/GRP150-1+rm_eq_rstfp.lop -rw-r--r-- 3131 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/GRP/GRP151-1+rm_eq_rstfp.lop -rw-r--r-- 3150 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/GRP/GRP152-1+rm_eq_rstfp.lop -rw-r--r-- 3131 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/GRP/GRP153-1+rm_eq_rstfp.lop -rw-r--r-- 3330 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/GRP/GRP154-1+rm_eq_rstfp.lop -rw-r--r-- 3214 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/GRP/GRP155-1+rm_eq_rstfp.lop -rw-r--r-- 3329 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/GRP/GRP156-1+rm_eq_rstfp.lop -rw-r--r-- 3208 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/GRP/GRP157-1+rm_eq_rstfp.lop -rw-r--r-- 3214 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/GRP/GRP158-1+rm_eq_rstfp.lop -rw-r--r-- 3218 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/GRP/GRP159-1+rm_eq_rstfp.lop -rw-r--r-- 3090 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/GRP/GRP160-1+rm_eq_rstfp.lop -rw-r--r-- 3093 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/GRP/GRP161-1+rm_eq_rstfp.lop -rw-r--r-- 3236 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/GRP/GRP162-1+rm_eq_rstfp.lop -rw-r--r-- 3241 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/GRP/GRP163-1+rm_eq_rstfp.lop -rw-r--r-- 3189 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/GRP/GRP164-1+rm_eq_rstfp.lop -rw-r--r-- 3122 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/GRP/GRP164-2+rm_eq_rstfp.lop -rw-r--r-- 3206 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/GRP/GRP165-1+rm_eq_rstfp.lop -rw-r--r-- 3258 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/GRP/GRP165-2+rm_eq_rstfp.lop -rw-r--r-- 3228 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/GRP/GRP166-1+rm_eq_rstfp.lop -rw-r--r-- 3223 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/GRP/GRP166-2+rm_eq_rstfp.lop -rw-r--r-- 3230 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/GRP/GRP166-3+rm_eq_rstfp.lop -rw-r--r-- 3276 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/GRP/GRP166-4+rm_eq_rstfp.lop -rw-r--r-- 4115 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/GRP/GRP167-1+rm_eq_rstfp.lop -rw-r--r-- 3845 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/GRP/GRP167-2+rm_eq_rstfp.lop -rw-r--r-- 3253 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/GRP/GRP167-3+rm_eq_rstfp.lop -rw-r--r-- 3355 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/GRP/GRP167-4+rm_eq_rstfp.lop -rw-r--r-- 3989 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/GRP/GRP167-5+rm_eq_rstfp.lop -rw-r--r-- 3462 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/GRP/GRP168-1+rm_eq_rstfp.lop -rw-r--r-- 3337 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/GRP/GRP168-2+rm_eq_rstfp.lop -rw-r--r-- 3317 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/GRP/GRP169-1+rm_eq_rstfp.lop -rw-r--r-- 3233 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/GRP/GRP169-2+rm_eq_rstfp.lop -rw-r--r-- 3147 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/GRP/GRP170-1+rm_eq_rstfp.lop -rw-r--r-- 3198 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/GRP/GRP170-2+rm_eq_rstfp.lop -rw-r--r-- 3221 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/GRP/GRP170-3+rm_eq_rstfp.lop -rw-r--r-- 3244 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/GRP/GRP170-4+rm_eq_rstfp.lop -rw-r--r-- 3153 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/GRP/GRP171-1+rm_eq_rstfp.lop -rw-r--r-- 3221 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/GRP/GRP171-2+rm_eq_rstfp.lop -rw-r--r-- 3170 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/GRP/GRP172-1+rm_eq_rstfp.lop -rw-r--r-- 3244 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/GRP/GRP172-2+rm_eq_rstfp.lop -rw-r--r-- 3435 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/GRP/GRP173-1+rm_eq_rstfp.lop -rw-r--r-- 3252 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/GRP/GRP174-1+rm_eq_rstfp.lop -rw-r--r-- 3143 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/GRP/GRP175-1+rm_eq_rstfp.lop -rw-r--r-- 3199 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/GRP/GRP175-2+rm_eq_rstfp.lop -rw-r--r-- 3216 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/GRP/GRP175-3+rm_eq_rstfp.lop -rw-r--r-- 3250 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/GRP/GRP175-4+rm_eq_rstfp.lop -rw-r--r-- 3491 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/GRP/GRP176-1+rm_eq_rstfp.lop -rw-r--r-- 3302 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/GRP/GRP176-2+rm_eq_rstfp.lop -rw-r--r-- 3457 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/GRP/GRP177-1+rm_eq_rstfp.lop -rw-r--r-- 3525 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/GRP/GRP177-2+rm_eq_rstfp.lop -rw-r--r-- 3425 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/GRP/GRP178-1+rm_eq_rstfp.lop -rw-r--r-- 3496 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/GRP/GRP178-2+rm_eq_rstfp.lop -rw-r--r-- 3137 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/GRP/GRP179-1+rm_eq_rstfp.lop -rw-r--r-- 3186 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/GRP/GRP179-2+rm_eq_rstfp.lop -rw-r--r-- 3420 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/GRP/GRP179-3+rm_eq_rstfp.lop -rw-r--r-- 3255 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/GRP/GRP180-1+rm_eq_rstfp.lop -rw-r--r-- 3393 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/GRP/GRP180-2+rm_eq_rstfp.lop -rw-r--r-- 3316 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/GRP/GRP181-1+rm_eq_rstfp.lop -rw-r--r-- 3454 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/GRP/GRP181-2+rm_eq_rstfp.lop -rw-r--r-- 3578 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/GRP/GRP181-3+rm_eq_rstfp.lop -rw-r--r-- 3708 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/GRP/GRP181-4+rm_eq_rstfp.lop -rw-r--r-- 3379 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/GRP/GRP182-1+rm_eq_rstfp.lop -rw-r--r-- 3521 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/GRP/GRP182-2+rm_eq_rstfp.lop -rw-r--r-- 3263 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/GRP/GRP182-3+rm_eq_rstfp.lop -rw-r--r-- 3405 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/GRP/GRP182-4+rm_eq_rstfp.lop -rw-r--r-- 3256 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/GRP/GRP183-1+rm_eq_rstfp.lop -rw-r--r-- 3301 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/GRP/GRP183-2+rm_eq_rstfp.lop -rw-r--r-- 3204 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/GRP/GRP183-3+rm_eq_rstfp.lop -rw-r--r-- 3346 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/GRP/GRP183-4+rm_eq_rstfp.lop -rw-r--r-- 3368 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/GRP/GRP184-1+rm_eq_rstfp.lop -rw-r--r-- 3355 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/GRP/GRP184-2+rm_eq_rstfp.lop -rw-r--r-- 3230 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/GRP/GRP184-3+rm_eq_rstfp.lop -rw-r--r-- 3588 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/GRP/GRP184-4+rm_eq_rstfp.lop -rw-r--r-- 3261 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/GRP/GRP185-1+rm_eq_rstfp.lop -rw-r--r-- 3403 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/GRP/GRP185-2+rm_eq_rstfp.lop -rw-r--r-- 3301 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/GRP/GRP185-3+rm_eq_rstfp.lop -rw-r--r-- 3443 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/GRP/GRP185-4+rm_eq_rstfp.lop -rw-r--r-- 3152 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/GRP/GRP186-1+rm_eq_rstfp.lop -rw-r--r-- 3290 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/GRP/GRP186-2+rm_eq_rstfp.lop -rw-r--r-- 3202 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/GRP/GRP186-3+rm_eq_rstfp.lop -rw-r--r-- 3344 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/GRP/GRP186-4+rm_eq_rstfp.lop -rw-r--r-- 3221 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/GRP/GRP187-1+rm_eq_rstfp.lop -rw-r--r-- 3091 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/GRP/GRP188-1+rm_eq_rstfp.lop -rw-r--r-- 3233 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/GRP/GRP188-2+rm_eq_rstfp.lop -rw-r--r-- 3072 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/GRP/GRP189-1+rm_eq_rstfp.lop -rw-r--r-- 3214 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/GRP/GRP189-2+rm_eq_rstfp.lop -rw-r--r-- 3189 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/GRP/GRP190-1+rm_eq_rstfp.lop -rw-r--r-- 3258 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/GRP/GRP190-2+rm_eq_rstfp.lop -rw-r--r-- 3195 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/GRP/GRP191-1+rm_eq_rstfp.lop -rw-r--r-- 3258 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/GRP/GRP191-2+rm_eq_rstfp.lop -rw-r--r-- 3159 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/GRP/GRP192-1+rm_eq_rstfp.lop -rw-r--r-- 3553 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/GRP/GRP193-1+rm_eq_rstfp.lop -rw-r--r-- 3627 Jun 19 18:58 1998 CLIB-0.2/EXAMPLE_PROBLEMS/GRP/GRP193-2+rm_eq_rstfp.lop -rw-r--r-- 9330 Aug 19 14:09 1998 CLIB-0.2/EXAMPLE_PROBLEMS/Makefile -rw-r--r-- 9330 Aug 19 13:05 1998 CLIB-0.2/EXAMPLE_PROBLEMS/Makefile.cln drwxr-xr-x 0 Aug 18 15:57 1998 CLIB-0.2/development_tools/ -rwxr-xr-x 512 Jul 27 16:54 1998 CLIB-0.2/development_tools/verify_alloc.awk -rwxr-xr-x 52 Jul 27 17:53 1998 CLIB-0.2/development_tools/configure_tools -rw-r--r-- 17989 Aug 4 16:05 1998 CLIB-0.2/COPYING -rw-r--r-- 814 Dec 17 13:45 1999 CLIB-0.2/README.HPPD -rw-r--r-- 1878 Aug 3 20:42 1998 CLIB-0.2/Makefile.cln -rw-r--r-- 537 Jul 31 21:37 1998 CLIB-0.2/Makefile.services.cln -rw-r--r-- 2517 Aug 18 16:36 1998 CLIB-0.2/Makefile.vars.cln -rw-r--r-- 1385 Aug 19 13:54 1998 CLIB-0.2/HPUX.Install -rw-r--r-- 17701 Aug 19 13:28 1998 CLIB-0.2/Lop.syntax
