rwxrwxr-x 1108/0 0 Dec 9 04:40 1992 Life/ rwxrwxr-x 1108/0 0 Dec 8 10:09 1992 Life/Tests/ rw-r--r-- 1108/0 0 Dec 8 10:07 1992 Life/Tests/ERROR.diff rw-r--r-- 1108/0 0 Dec 8 10:07 1992 Life/Tests/addtab.diff rw-r--r-- 1108/0 0 Dec 8 10:07 1992 Life/Tests/anyorder.diff rw-r--r-- 1108/0 0 Dec 8 10:07 1992 Life/Tests/apply.diff rw-r--r-- 1108/0 0 Dec 8 10:07 1992 Life/Tests/arith1.diff rw-r--r-- 1108/0 0 Dec 8 10:07 1992 Life/Tests/arith2.diff rw-r--r-- 1108/0 0 Dec 8 10:07 1992 Life/Tests/arith3.diff rw-r--r-- 1108/0 0 Dec 8 10:07 1992 Life/Tests/arith4.diff rw-r--r-- 1108/0 0 Dec 8 10:07 1992 Life/Tests/arith5.diff rw-r--r-- 1108/0 0 Dec 8 10:07 1992 Life/Tests/arith6.diff rw-r--r-- 1108/0 0 Dec 8 10:07 1992 Life/Tests/arith7.diff rw-r--r-- 1108/0 0 Dec 8 10:07 1992 Life/Tests/arith8.diff rw-r--r-- 1108/0 0 Dec 8 10:07 1992 Life/Tests/arith9.diff rw-r--r-- 1108/0 0 Dec 8 10:07 1992 Life/Tests/assert1.diff rw-r--r-- 1108/0 0 Dec 8 10:07 1992 Life/Tests/assert2.diff rw-r--r-- 1108/0 0 Dec 8 10:07 1992 Life/Tests/assert3.diff rw-r--r-- 1108/0 0 Dec 8 10:07 1992 Life/Tests/assert4.diff rw-r--r-- 1108/0 0 Dec 8 10:07 1992 Life/Tests/bagof1.diff rw-r--r-- 1108/0 0 Dec 8 10:07 1992 Life/Tests/bagof2.diff rw-r--r-- 1108/0 0 Dec 8 10:07 1992 Life/Tests/bagof3.diff rw-r--r-- 1108/0 0 Dec 8 10:07 1992 Life/Tests/bagof4.diff rw-r--r-- 1108/0 0 Dec 8 10:07 1992 Life/Tests/bagof5.diff rw-r--r-- 1108/0 0 Dec 8 10:07 1992 Life/Tests/bigstr.diff rw-r--r-- 1108/0 0 Dec 8 10:07 1992 Life/Tests/bk_assign.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/boites1.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/boites2.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/bruno_disj.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/cb.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/chapla.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/choice.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/clause.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/colon.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/compose.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/constr.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/copy1.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/copy2.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/copy3.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/curry1.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/curry2.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/curry3.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/curry4.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/curry5.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/cut1.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/cut2.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/cut3.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/cycles1.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/cycles2.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/decl.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/delay.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/dichotomy.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/dict.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/disequality1.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/disequality2.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/disequality3.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/disequality4.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/disequality5.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/disequality6.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/disequality7.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/disequality8.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/disequality9.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/disj1.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/disj2.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/disj3.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/disj4.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/disj5.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/disj6.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/dissolve.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/dynstat.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/eoftest.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/fact.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/fail.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/feature.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/freeze1.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/freeze2.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/freeze3.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/freeze4.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/function1.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/function2.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/fusil.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/gauss.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/gctest.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/genint.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/glb.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/glblub.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/grammars.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/hamming.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/hanoi.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/inherit.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/intabs.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/inttrace.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/isatest.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/junk.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/lefun1.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/lefun2.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/list_bda.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/listing1.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/listing2.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/loadquery.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/long.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/longstr.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/loop.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/lub.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/machine.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/magic.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/makestr.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/mort.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/mresid.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/nesting.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/nicetest.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/nonstrict1.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/nonstrict2.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/op1.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/nonstrict3.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/nonstrict4.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/nonstrict5.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/numeric.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/op2.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/order.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/parents.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/parse.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/part.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/person1.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/person2.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/posint.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/preparser.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/prime.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/print1.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/print2.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/print_depth1.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/print_depth2.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/printvar.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/prove.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/pyth.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/qsort1.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/qsort2.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/query_decl.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/resid1.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/resid2.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/retract1.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/retract2.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/retract3.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/retract4.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/retract5.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/retract6.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/retract7.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/rootsort.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/schedule1.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/schedule2.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/school.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/self.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/share.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/simp_eqn.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/smalltwente.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/smm.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/soap.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/sortcycle1.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/sortcycle2.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/sortcycle3.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/sortcycle4.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/sortcycle5.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/str.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/str2psi.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/strbug.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/streams.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/subs.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/subsort.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/t3201.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/t3202.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/t3203.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/t3204.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/t3205.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/t3206.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/t3207.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/t4105.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/t4202.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/t4502.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/t4505.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/t8101.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/t8102.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/t8103.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/t8104.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/t8105.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/tan.diff rw-r--r-- 1108/0 51 Dec 8 10:08 1992 Life/Tests/cb.in rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/test00.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/test03.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/test04.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/titi.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/tri_ins.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/tripeq.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/unify.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/varlevel.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/varlevel2.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/wam.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/wambruno.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/wlife.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/write.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/writeq.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/z_comb.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/z_cut2.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/z_gcsimp.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/z_gctoken1.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/z_gctoken2.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/z_maurice.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/z_nestdepth.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/z_power_4.diff rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/z_pyth_gc.diff rw-r--r-- 1108/0 188 Dec 8 10:08 1992 Life/Tests/addtab.in rw-r--r-- 1108/0 1872 Dec 8 10:08 1992 Life/Tests/anyorder.in rw-r--r-- 1108/0 6 Dec 8 10:08 1992 Life/Tests/apply.in rw-r--r-- 1108/0 203 Dec 8 10:08 1992 Life/Tests/arith1.in rw-r--r-- 1108/0 69 Dec 8 10:08 1992 Life/Tests/arith2.in rw-r--r-- 1108/0 61 Dec 8 10:08 1992 Life/Tests/arith3.in rw-r--r-- 1108/0 77 Dec 8 10:08 1992 Life/Tests/arith4.in rw-r--r-- 1108/0 45 Dec 8 10:08 1992 Life/Tests/arith5.in rw-r--r-- 1108/0 49 Dec 8 10:08 1992 Life/Tests/arith6.in rw-r--r-- 1108/0 171 Dec 8 10:08 1992 Life/Tests/arith7.in rw-r--r-- 1108/0 101 Dec 8 10:08 1992 Life/Tests/arith8.in rw-r--r-- 1108/0 44 Dec 8 10:08 1992 Life/Tests/arith9.in rw-r--r-- 1108/0 6 Dec 8 10:08 1992 Life/Tests/assert1.in rw-r--r-- 1108/0 33 Dec 8 10:08 1992 Life/Tests/assert2.in rw-r--r-- 1108/0 55 Dec 8 10:08 1992 Life/Tests/assert3.in rw-r--r-- 1108/0 269 Dec 8 10:08 1992 Life/Tests/assert4.in rw-r--r-- 1108/0 10 Dec 8 10:08 1992 Life/Tests/bagof1.in rw-r--r-- 1108/0 109 Dec 8 10:08 1992 Life/Tests/bagof2.in rw-r--r-- 1108/0 35 Dec 8 10:08 1992 Life/Tests/bagof3.in rw-r--r-- 1108/0 46 Dec 8 10:08 1992 Life/Tests/bagof4.in rw-r--r-- 1108/0 67 Dec 8 10:08 1992 Life/Tests/bagof5.in rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/bigstr.in rw-r--r-- 1108/0 77 Dec 8 10:08 1992 Life/Tests/bk_assign.in rw-r--r-- 1108/0 178 Dec 8 10:08 1992 Life/Tests/boites1.in rw-r--r-- 1108/0 119 Dec 8 10:08 1992 Life/Tests/boites2.in rw-r--r-- 1108/0 34 Dec 8 10:08 1992 Life/Tests/bruno_disj.in rw-r--r-- 1108/0 3135 Dec 8 10:08 1992 Life/Tests/chapla.in rw-r--r-- 1108/0 431 Dec 8 10:08 1992 Life/Tests/choice.in rw-r--r-- 1108/0 173 Dec 8 10:08 1992 Life/Tests/clause.in rw-r--r-- 1108/0 391 Dec 8 10:08 1992 Life/Tests/colon.in rw-r--r-- 1108/0 79 Dec 8 10:08 1992 Life/Tests/compose.in rw-r--r-- 1108/0 78 Dec 8 10:08 1992 Life/Tests/constr.in rw-r--r-- 1108/0 607 Dec 8 10:08 1992 Life/Tests/copy1.in rw-r--r-- 1108/0 607 Dec 8 10:08 1992 Life/Tests/copy2.in rw-r--r-- 1108/0 627 Dec 8 10:08 1992 Life/Tests/copy3.in rw-r--r-- 1108/0 42 Dec 8 10:08 1992 Life/Tests/curry1.in rw-r--r-- 1108/0 234 Dec 8 10:08 1992 Life/Tests/curry2.in rw-r--r-- 1108/0 39 Dec 8 10:08 1992 Life/Tests/curry3.in rw-r--r-- 1108/0 245 Dec 8 10:08 1992 Life/Tests/curry4.in rw-r--r-- 1108/0 101 Dec 8 10:08 1992 Life/Tests/curry5.in rw-r--r-- 1108/0 84 Dec 8 10:08 1992 Life/Tests/cut1.in rw-r--r-- 1108/0 35 Dec 8 10:08 1992 Life/Tests/cut2.in rw-r--r-- 1108/0 46 Dec 8 10:08 1992 Life/Tests/cut3.in rw-r--r-- 1108/0 350 Dec 8 10:08 1992 Life/Tests/cycles1.in rw-r--r-- 1108/0 360 Dec 8 10:08 1992 Life/Tests/cycles2.in rw-r--r-- 1108/0 82 Dec 8 10:08 1992 Life/Tests/decl.in rw-r--r-- 1108/0 55 Dec 8 10:08 1992 Life/Tests/delay.in rw-r--r-- 1108/0 80 Dec 8 10:08 1992 Life/Tests/dichotomy.in rw-r--r-- 1108/0 7 Dec 8 10:08 1992 Life/Tests/dict.in rw-r--r-- 1108/0 508 Dec 8 10:08 1992 Life/Tests/disequality1.in rw-r--r-- 1108/0 121 Dec 8 10:08 1992 Life/Tests/disj1.in rw-r--r-- 1108/0 73 Dec 8 10:08 1992 Life/Tests/disequality2.in rw-r--r-- 1108/0 172 Dec 8 10:08 1992 Life/Tests/disequality3.in rw-r--r-- 1108/0 95 Dec 8 10:08 1992 Life/Tests/disequality4.in rw-r--r-- 1108/0 93 Dec 8 10:08 1992 Life/Tests/disequality5.in rw-r--r-- 1108/0 95 Dec 8 10:08 1992 Life/Tests/disequality6.in rw-r--r-- 1108/0 58 Dec 8 10:08 1992 Life/Tests/disequality7.in rw-r--r-- 1108/0 226 Dec 8 10:08 1992 Life/Tests/disequality8.in rw-r--r-- 1108/0 187 Dec 8 10:08 1992 Life/Tests/disequality9.in rw-r--r-- 1108/0 7 Dec 8 10:08 1992 Life/Tests/disj2.in rw-r--r-- 1108/0 41 Dec 8 10:08 1992 Life/Tests/disj3.in rw-r--r-- 1108/0 71 Dec 8 10:08 1992 Life/Tests/disj4.in rw-r--r-- 1108/0 21 Dec 8 10:08 1992 Life/Tests/disj5.in rw-r--r-- 1108/0 254 Dec 8 10:08 1992 Life/Tests/disj6.in rw-r--r-- 1108/0 260 Dec 8 10:08 1992 Life/Tests/dissolve.in rw-r--r-- 1108/0 126 Dec 8 10:08 1992 Life/Tests/dynstat.in rw-r--r-- 1108/0 69 Dec 8 10:08 1992 Life/Tests/eoftest.in rw-r--r-- 1108/0 257 Dec 8 10:08 1992 Life/Tests/fact.in rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/fail.in rwxr-xr-x 1108/0 110 Dec 8 10:08 1992 Life/Tests/Ref rw-r--r-- 1108/0 123 Dec 8 10:08 1992 Life/Tests/feature.in rw-r--r-- 1108/0 82 Dec 8 10:08 1992 Life/Tests/freeze1.in rw-r--r-- 1108/0 26 Dec 8 10:08 1992 Life/Tests/freeze2.in rw-r--r-- 1108/0 76 Dec 8 10:08 1992 Life/Tests/freeze3.in rw-r--r-- 1108/0 204 Dec 8 10:08 1992 Life/Tests/freeze4.in rw-r--r-- 1108/0 846 Dec 8 10:08 1992 Life/Tests/glb.in rw-r--r-- 1108/0 335 Dec 8 10:08 1992 Life/Tests/function1.in rw-r--r-- 1108/0 33 Dec 8 10:08 1992 Life/Tests/function2.in rw-r--r-- 1108/0 60 Dec 8 10:08 1992 Life/Tests/fusil.in rw-r--r-- 1108/0 490 Dec 8 10:08 1992 Life/Tests/gauss.in rw-r--r-- 1108/0 290 Dec 8 10:08 1992 Life/Tests/gctest.in rw-r--r-- 1108/0 51 Dec 8 10:08 1992 Life/Tests/genint.in rw-r--r-- 1108/0 33 Dec 8 10:08 1992 Life/Tests/glblub.in rw-r--r-- 1108/0 3052 Dec 8 10:08 1992 Life/Tests/grammars.in rw-r--r-- 1108/0 33 Dec 8 10:08 1992 Life/Tests/hamming.in rw-r--r-- 1108/0 9 Dec 8 10:08 1992 Life/Tests/hanoi.in rw-r--r-- 1108/0 20 Dec 8 10:08 1992 Life/Tests/inherit.in rw-r--r-- 1108/0 2660 Dec 8 10:08 1992 Life/Tests/intabs.in rw-r--r-- 1108/0 29 Dec 8 10:08 1992 Life/Tests/inttrace.in rw-r--r-- 1108/0 7 Dec 8 10:08 1992 Life/Tests/isatest.in rw-r--r-- 1108/0 7 Dec 8 10:08 1992 Life/Tests/junk.in rw-r--r-- 1108/0 14 Dec 8 10:08 1992 Life/Tests/lefun1.in rw-r--r-- 1108/0 8 Dec 8 10:08 1992 Life/Tests/lefun2.in rw-r--r-- 1108/0 69 Dec 8 10:08 1992 Life/Tests/list_bda.in rw-r--r-- 1108/0 483 Dec 8 10:08 1992 Life/Tests/listing1.in rw-r--r-- 1108/0 27 Dec 8 10:08 1992 Life/Tests/listing2.in rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/loadquery.in rw-r--r-- 1108/0 2 Dec 8 10:08 1992 Life/Tests/long.in rw-r--r-- 1108/0 440 Dec 8 10:08 1992 Life/Tests/longstr.in rw-r--r-- 1108/0 7 Dec 8 10:08 1992 Life/Tests/loop.in rw-r--r-- 1108/0 846 Dec 8 10:08 1992 Life/Tests/lub.in rw-r--r-- 1108/0 126 Dec 8 10:08 1992 Life/Tests/mort.in rw-r--r-- 1108/0 36 Dec 8 10:08 1992 Life/Tests/machine.in rw-r--r-- 1108/0 35 Dec 8 10:08 1992 Life/Tests/magic.in rw-r--r-- 1108/0 761 Dec 8 10:08 1992 Life/Tests/makestr.in rw-r--r-- 1108/0 414 Dec 8 10:08 1992 Life/Tests/mresid.in rw-r--r-- 1108/0 2 Dec 8 10:08 1992 Life/Tests/nesting.in rw-r--r-- 1108/0 31 Dec 8 10:08 1992 Life/Tests/nicetest.in rw-r--r-- 1108/0 34 Dec 8 10:08 1992 Life/Tests/nonstrict1.in rw-r--r-- 1108/0 143 Dec 8 10:08 1992 Life/Tests/nonstrict2.in rw-r--r-- 1108/0 80 Dec 8 10:08 1992 Life/Tests/nonstrict3.in rw-r--r-- 1108/0 90 Dec 8 10:08 1992 Life/Tests/nonstrict4.in rw-r--r-- 1108/0 232 Dec 8 10:08 1992 Life/Tests/nonstrict5.in rw-r--r-- 1108/0 95 Dec 8 10:08 1992 Life/Tests/numeric.in rw-r--r-- 1108/0 29 Dec 8 10:08 1992 Life/Tests/op1.in rw-r--r-- 1108/0 270 Dec 8 10:08 1992 Life/Tests/op2.in rw-r--r-- 1108/0 14 Dec 8 10:08 1992 Life/Tests/order.in rw-r--r-- 1108/0 110 Dec 8 10:08 1992 Life/Tests/parents.in rw-r--r-- 1108/0 355 Dec 8 10:08 1992 Life/Tests/parse.in rw-r--r-- 1108/0 53 Dec 8 10:08 1992 Life/Tests/part.in rw-r--r-- 1108/0 175 Dec 8 10:08 1992 Life/Tests/person1.in rw-r--r-- 1108/0 19 Dec 8 10:08 1992 Life/Tests/person2.in rw-r--r-- 1108/0 2 Dec 8 10:08 1992 Life/Tests/posint.in rw-r--r-- 1108/0 548 Dec 8 10:08 1992 Life/Tests/preparser.in rw-r--r-- 1108/0 67 Dec 8 10:08 1992 Life/Tests/prime.in rw-r--r-- 1108/0 108 Dec 8 10:08 1992 Life/Tests/print1.in rw-r--r-- 1108/0 514 Dec 8 10:08 1992 Life/Tests/print2.in rw-r--r-- 1108/0 569 Dec 8 10:08 1992 Life/Tests/print_depth1.in rw-r--r-- 1108/0 1358 Dec 8 10:08 1992 Life/Tests/print_depth2.in rw-r--r-- 1108/0 156 Dec 8 10:08 1992 Life/Tests/printvar.in rw-r--r-- 1108/0 192 Dec 8 10:08 1992 Life/Tests/prove.in rw-r--r-- 1108/0 90 Dec 8 10:08 1992 Life/Tests/pyth.in rw-r--r-- 1108/0 241 Dec 8 10:08 1992 Life/Tests/qsort1.in rw-r--r-- 1108/0 52 Dec 8 10:08 1992 Life/Tests/qsort2.in rw-r--r-- 1108/0 45 Dec 8 10:08 1992 Life/Tests/query_decl.in rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/resid1.in rw-r--r-- 1108/0 206 Dec 8 10:08 1992 Life/Tests/resid2.in rw-r--r-- 1108/0 31 Dec 8 10:08 1992 Life/Tests/retract1.in rw-r--r-- 1108/0 32 Dec 8 10:08 1992 Life/Tests/retract2.in rw-r--r-- 1108/0 32 Dec 8 10:08 1992 Life/Tests/retract3.in rw-r--r-- 1108/0 34 Dec 8 10:08 1992 Life/Tests/retract4.in rw-r--r-- 1108/0 41 Dec 8 10:08 1992 Life/Tests/retract5.in rw-r--r-- 1108/0 11 Dec 8 10:08 1992 Life/Tests/retract6.in rw-r--r-- 1108/0 185 Dec 8 10:08 1992 Life/Tests/retract7.in rw-r--r-- 1108/0 27 Dec 8 10:08 1992 Life/Tests/rootsort.in rw-r--r-- 1108/0 300 Dec 8 10:08 1992 Life/Tests/schedule1.in rw-r--r-- 1108/0 300 Dec 8 10:08 1992 Life/Tests/schedule2.in rw-r--r-- 1108/0 89 Dec 8 10:08 1992 Life/Tests/school.in rw-r--r-- 1108/0 172 Dec 8 10:08 1992 Life/Tests/self.in rw-r--r-- 1108/0 78 Dec 8 10:08 1992 Life/Tests/share.in rw-r--r-- 1108/0 80 Dec 8 10:08 1992 Life/Tests/simp_eqn.in rw-r--r-- 1108/0 7 Dec 8 10:08 1992 Life/Tests/smm.in rw-r--r-- 1108/0 7 Dec 8 10:08 1992 Life/Tests/smalltwente.in rw-r--r-- 1108/0 79 Dec 8 10:08 1992 Life/Tests/soap.in rw-r--r-- 1108/0 68 Dec 8 10:08 1992 Life/Tests/sortcycle1.in rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/sortcycle2.in rw-r--r-- 1108/0 253 Dec 8 10:08 1992 Life/Tests/sortcycle3.in rw-r--r-- 1108/0 68 Dec 8 10:08 1992 Life/Tests/sortcycle4.in rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/sortcycle5.in rw-r--r-- 1108/0 255 Dec 8 10:08 1992 Life/Tests/str.in rw-r--r-- 1108/0 19 Dec 8 10:08 1992 Life/Tests/str2psi.in rw-r--r-- 1108/0 2 Dec 8 10:08 1992 Life/Tests/strbug.in rw-r--r-- 1108/0 240 Dec 8 10:08 1992 Life/Tests/streams.in rw-r--r-- 1108/0 109 Dec 8 10:08 1992 Life/Tests/subs.in rw-r--r-- 1108/0 168 Dec 8 10:08 1992 Life/Tests/subsort.in rw-r--r-- 1108/0 62 Dec 8 10:08 1992 Life/Tests/t3201.in rw-r--r-- 1108/0 166 Dec 8 10:08 1992 Life/Tests/t3202.in rw-r--r-- 1108/0 90 Dec 8 10:08 1992 Life/Tests/t3203.in rw-r--r-- 1108/0 112 Dec 8 10:08 1992 Life/Tests/t3204.in rw-r--r-- 1108/0 248 Dec 8 10:08 1992 Life/Tests/t3205.in rw-r--r-- 1108/0 154 Dec 8 10:08 1992 Life/Tests/t3206.in rw-r--r-- 1108/0 2 Dec 8 10:08 1992 Life/Tests/t3207.in rw-r--r-- 1108/0 60 Dec 8 10:08 1992 Life/Tests/t4105.in rw-r--r-- 1108/0 33 Dec 8 10:08 1992 Life/Tests/t4202.in rw-r--r-- 1108/0 56 Dec 8 10:08 1992 Life/Tests/t4502.in rw-r--r-- 1108/0 10 Dec 8 10:08 1992 Life/Tests/t4505.in rw-r--r-- 1108/0 61 Dec 8 10:08 1992 Life/Tests/t8101.in rw-r--r-- 1108/0 83 Dec 8 10:08 1992 Life/Tests/t8102.in rw-r--r-- 1108/0 61 Dec 8 10:08 1992 Life/Tests/t8103.in rw-r--r-- 1108/0 214 Dec 8 10:08 1992 Life/Tests/t8104.in rw-r--r-- 1108/0 10 Dec 8 10:08 1992 Life/Tests/t8105.in rw-r--r-- 1108/0 129 Dec 8 10:08 1992 Life/Tests/tan.in rw-r--r-- 1108/0 86 Dec 8 10:08 1992 Life/Tests/test00.in rw-r--r-- 1108/0 9 Dec 8 10:08 1992 Life/Tests/test03.in rw-r--r-- 1108/0 22 Dec 8 10:08 1992 Life/Tests/test04.in rw-r--r-- 1108/0 192 Dec 8 10:08 1992 Life/Tests/titi.in rw-r--r-- 1108/0 312 Dec 8 10:08 1992 Life/Tests/tri_ins.in rw-r--r-- 1108/0 108 Dec 8 10:08 1992 Life/Tests/tripeq.in rw-r--r-- 1108/0 578 Dec 8 10:08 1992 Life/Tests/unify.in rw-r--r-- 1108/0 116 Dec 8 10:08 1992 Life/Tests/varlevel.in rw-r--r-- 1108/0 425 Dec 8 10:08 1992 Life/Tests/varlevel2.in rw-r--r-- 1108/0 68 Dec 8 10:08 1992 Life/Tests/wam.in rw-r--r-- 1108/0 72 Dec 8 10:08 1992 Life/Tests/wambruno.in rw-r--r-- 1108/0 162 Dec 8 10:08 1992 Life/Tests/wlife.in rw-r--r-- 1108/0 1320 Dec 8 10:08 1992 Life/Tests/write.in rw-r--r-- 1108/0 927 Dec 8 10:08 1992 Life/Tests/writeq.in rw-r--r-- 1108/0 9 Dec 8 10:08 1992 Life/Tests/z_comb.in rw-r--r-- 1108/0 1255 Dec 8 10:08 1992 Life/Tests/z_cut2.in rw-r--r-- 1108/0 7 Dec 8 10:08 1992 Life/Tests/z_gcsimp.in rw-r--r-- 1108/0 28 Dec 8 10:08 1992 Life/Tests/z_gctoken1.in rw-r--r-- 1108/0 7 Dec 8 10:08 1992 Life/Tests/z_gctoken2.in rw-r--r-- 1108/0 7 Dec 8 10:08 1992 Life/Tests/z_maurice.in rw-r--r-- 1108/0 51 Dec 8 10:08 1992 Life/Tests/z_nestdepth.in rw-r--r-- 1108/0 14 Dec 8 10:08 1992 Life/Tests/z_power_4.in rw-r--r-- 1108/0 126 Dec 8 10:08 1992 Life/Tests/z_pyth_gc.in rw-r--r-- 1108/0 844 Dec 8 10:08 1992 Life/Tests/addtab.lf rw-r--r-- 1108/0 41 Dec 8 10:08 1992 Life/Tests/anyorder.lf rw-r--r-- 1108/0 237 Dec 8 10:08 1992 Life/Tests/apply.lf rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/arith1.lf rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/arith2.lf rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/arith3.lf rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/arith4.lf rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/arith5.lf rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/arith6.lf rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/arith7.lf rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/arith8.lf rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/arith9.lf rw-r--r-- 1108/0 901 Dec 8 10:08 1992 Life/Tests/assert1.lf rw-r--r-- 1108/0 467 Dec 8 10:08 1992 Life/Tests/assert2.lf rw-r--r-- 1108/0 465 Dec 8 10:08 1992 Life/Tests/assert3.lf rw-r--r-- 1108/0 3 Dec 8 10:08 1992 Life/Tests/assert4.lf rw-r--r-- 1108/0 216 Dec 8 10:08 1992 Life/Tests/bagof1.lf rw-r--r-- 1108/0 24 Dec 8 10:08 1992 Life/Tests/bagof2.lf rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/bagof3.lf rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/bagof4.lf rw-r--r-- 1108/0 110 Dec 8 10:08 1992 Life/Tests/bagof5.lf rw-r--r-- 1108/0 646 Dec 8 10:08 1992 Life/Tests/bigstr.lf rw-r--r-- 1108/0 2 Dec 8 10:08 1992 Life/Tests/bk_assign.lf rw-r--r-- 1108/0 1751 Dec 8 10:08 1992 Life/Tests/boites1.lf rw-r--r-- 1108/0 2871 Dec 8 10:08 1992 Life/Tests/boites2.lf rw-r--r-- 1108/0 1189 Dec 8 10:08 1992 Life/Tests/bruno_disj.lf rw-r--r-- 1108/0 3629 Dec 8 10:08 1992 Life/Tests/cb.lf rw-r--r-- 1108/0 2456 Dec 8 10:08 1992 Life/Tests/chapla.lf rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/choice.lf rw-r--r-- 1108/0 117 Dec 8 10:08 1992 Life/Tests/clause.lf rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/colon.lf rw-r--r-- 1108/0 204 Dec 8 10:08 1992 Life/Tests/compose.lf rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/constr.lf rw-r--r-- 1108/0 3712 Dec 8 10:08 1992 Life/Tests/copy1.lf rw-r--r-- 1108/0 3712 Dec 8 10:08 1992 Life/Tests/copy2.lf rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/copy3.lf rw-r--r-- 1108/0 27 Dec 8 10:08 1992 Life/Tests/curry1.lf rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/curry2.lf rw-r--r-- 1108/0 201 Dec 8 10:08 1992 Life/Tests/curry3.lf rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/curry4.lf rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/curry5.lf rw-r--r-- 1108/0 68 Dec 8 10:08 1992 Life/Tests/cut1.lf rw-r--r-- 1108/0 42 Dec 8 10:08 1992 Life/Tests/cut2.lf rw-r--r-- 1108/0 63 Dec 8 10:08 1992 Life/Tests/cut3.lf rw-r--r-- 1108/0 363 Dec 8 10:08 1992 Life/Tests/cycles1.lf rw-r--r-- 1108/0 374 Dec 8 10:08 1992 Life/Tests/cycles2.lf rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/decl.lf rw-r--r-- 1108/0 119 Dec 8 10:08 1992 Life/Tests/delay.lf rw-r--r-- 1108/0 395 Dec 8 10:08 1992 Life/Tests/dichotomy.lf rw-r--r-- 1108/0 746 Dec 8 10:08 1992 Life/Tests/dict.lf rw-r--r-- 1108/0 164 Dec 8 10:08 1992 Life/Tests/disequality1.lf rw-r--r-- 1108/0 30 Dec 8 10:08 1992 Life/Tests/disequality2.lf rw-r--r-- 1108/0 70 Dec 8 10:08 1992 Life/Tests/disequality3.lf rw-r--r-- 1108/0 34 Dec 8 10:08 1992 Life/Tests/disequality4.lf rw-r--r-- 1108/0 16 Dec 8 10:08 1992 Life/Tests/disequality5.lf rw-r--r-- 1108/0 53 Dec 8 10:08 1992 Life/Tests/disequality6.lf rw-r--r-- 1108/0 12 Dec 8 10:08 1992 Life/Tests/disequality7.lf rw-r--r-- 1108/0 81 Dec 8 10:08 1992 Life/Tests/disequality8.lf rw-r--r-- 1108/0 106 Dec 8 10:08 1992 Life/Tests/disequality9.lf rw-r--r-- 1108/0 2 Dec 8 10:08 1992 Life/Tests/disj1.lf rw-r--r-- 1108/0 2555 Dec 8 10:08 1992 Life/Tests/disj2.lf rw-r--r-- 1108/0 90 Dec 8 10:08 1992 Life/Tests/disj3.lf rw-r--r-- 1108/0 2 Dec 8 10:08 1992 Life/Tests/disj4.lf rw-r--r-- 1108/0 26 Dec 8 10:08 1992 Life/Tests/disj5.lf rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/disj6.lf rw------- 1108/0 8565 Dec 8 10:08 1992 Life/Tests/dissolve.lf rw-r--r-- 1108/0 2 Dec 8 10:08 1992 Life/Tests/dynstat.lf rw-r--r-- 1108/0 85 Dec 8 10:08 1992 Life/Tests/eoftest.lf rw-r--r-- 1108/0 2861 Dec 8 10:08 1992 Life/Tests/fact.lf rw-r--r-- 1108/0 44 Dec 8 10:08 1992 Life/Tests/fail.lf rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/feature.lf rw-r--r-- 1108/0 13 Dec 8 10:08 1992 Life/Tests/freeze1.lf rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/freeze2.lf rw-r--r-- 1108/0 33 Dec 8 10:08 1992 Life/Tests/freeze3.lf rw-r--r-- 1108/0 28 Dec 8 10:08 1992 Life/Tests/freeze4.lf rw-r--r-- 1108/0 245 Dec 8 10:08 1992 Life/Tests/function1.lf rw-r--r-- 1108/0 36 Dec 8 10:08 1992 Life/Tests/function2.lf rw-r--r-- 1108/0 98 Dec 8 10:08 1992 Life/Tests/fusil.lf rw-r--r-- 1108/0 10780 Dec 8 10:08 1992 Life/Tests/gauss.lf rw-r--r-- 1108/0 37 Dec 8 10:08 1992 Life/Tests/gctest.lf rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/genint.lf rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/glb.lf rw-r--r-- 1108/0 33 Dec 8 10:08 1992 Life/Tests/glblub.lf rw-r--r-- 1108/0 1247 Dec 8 10:08 1992 Life/Tests/grammars.lf rw-r--r-- 1108/0 515 Dec 8 10:08 1992 Life/Tests/hamming.lf rw-r--r-- 1108/0 428 Dec 8 10:08 1992 Life/Tests/hanoi.lf rw-r--r-- 1108/0 1333 Dec 8 10:08 1992 Life/Tests/inherit.lf rw-r--r-- 1108/0 610 Dec 8 10:08 1992 Life/Tests/junk.lf rw-r--r-- 1108/0 19651 Dec 8 10:08 1992 Life/Tests/intabs.lf rw-r--r-- 1108/0 1 Dec 8 10:08 1992 Life/Tests/inttrace.lf rw-r--r-- 1108/0 2795 Dec 8 10:08 1992 Life/Tests/isatest.lf rw-r--r-- 1108/0 129 Dec 8 10:08 1992 Life/Tests/lefun1.lf rw-r--r-- 1108/0 180 Dec 8 10:08 1992 Life/Tests/lefun2.lf rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/list_bda.lf rw-r--r-- 1108/0 1 Dec 8 10:08 1992 Life/Tests/listing1.lf rw-r--r-- 1108/0 82 Dec 8 10:08 1992 Life/Tests/listing2.lf rw-r--r-- 1108/0 53 Dec 8 10:08 1992 Life/Tests/loadquery.lf rw-r--r-- 1108/0 2105 Dec 8 10:08 1992 Life/Tests/long.lf rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/longstr.lf rw-r--r-- 1108/0 195 Dec 8 10:08 1992 Life/Tests/loop.lf rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/lub.lf rw-r--r-- 1108/0 3862 Dec 8 10:08 1992 Life/Tests/machine.lf rw-r--r-- 1108/0 1989 Dec 8 10:08 1992 Life/Tests/magic.lf rw-r--r-- 1108/0 315 Dec 8 10:08 1992 Life/Tests/makestr.lf rw-r--r-- 1108/0 186 Dec 8 10:08 1992 Life/Tests/mort.lf rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/mresid.lf rw-r--r-- 1108/0 131 Dec 8 10:08 1992 Life/Tests/nesting.lf rw-r--r-- 1108/0 30 Dec 8 10:08 1992 Life/Tests/nicetest.lf rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/nonstrict1.lf rw-r--r-- 1108/0 29 Dec 8 10:08 1992 Life/Tests/nonstrict2.lf rw-r--r-- 1108/0 84 Dec 8 10:08 1992 Life/Tests/nonstrict3.lf rw-r--r-- 1108/0 573 Dec 8 10:08 1992 Life/Tests/nonstrict4.lf rw-r--r-- 1108/0 9 Dec 8 10:08 1992 Life/Tests/nonstrict5.lf rw-r--r-- 1108/0 583 Dec 8 10:08 1992 Life/Tests/numeric.lf rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/op1.lf rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/op2.lf rw-r--r-- 1108/0 128 Dec 8 10:08 1992 Life/Tests/order.lf rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/parents.lf rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/parse.lf rw-r--r-- 1108/0 384 Dec 8 10:08 1992 Life/Tests/part.lf rw-r--r-- 1108/0 117 Dec 8 10:08 1992 Life/Tests/person1.lf rw-r--r-- 1108/0 215 Dec 8 10:08 1992 Life/Tests/person2.lf rw-r--r-- 1108/0 1326 Dec 8 10:08 1992 Life/Tests/posint.lf rw-r--r-- 1108/0 12952 Dec 8 10:08 1992 Life/Tests/preparser.lf rw-r--r-- 1108/0 1122 Dec 8 10:08 1992 Life/Tests/prime.lf rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/print1.lf rw-r--r-- 1108/0 43 Dec 8 10:08 1992 Life/Tests/print2.lf rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/print_depth1.lf rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/print_depth2.lf rw-r--r-- 1108/0 190 Dec 8 10:08 1992 Life/Tests/printvar.lf rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/prove.lf rw-r--r-- 1108/0 486 Dec 8 10:08 1992 Life/Tests/pyth.lf rw-r--r-- 1108/0 686 Dec 8 10:08 1992 Life/Tests/qsort1.lf rw-r--r-- 1108/0 951 Dec 8 10:08 1992 Life/Tests/qsort2.lf rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/query_decl.lf rw-r--r-- 1108/0 389 Dec 8 10:08 1992 Life/Tests/resid1.lf rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/resid2.lf rw-r--r-- 1108/0 82 Dec 8 10:08 1992 Life/Tests/retract1.lf rw-r--r-- 1108/0 82 Dec 8 10:08 1992 Life/Tests/retract2.lf rw-r--r-- 1108/0 82 Dec 8 10:08 1992 Life/Tests/retract3.lf rw-r--r-- 1108/0 82 Dec 8 10:08 1992 Life/Tests/retract4.lf rw-r--r-- 1108/0 82 Dec 8 10:08 1992 Life/Tests/retract5.lf rw-r--r-- 1108/0 245 Dec 8 10:08 1992 Life/Tests/retract6.lf rw-r--r-- 1108/0 166 Dec 8 10:08 1992 Life/Tests/retract7.lf rw-r--r-- 1108/0 11 Dec 8 10:08 1992 Life/Tests/rootsort.lf rw-r--r-- 1108/0 1323 Dec 8 10:08 1992 Life/Tests/schedule1.lf rw-r--r-- 1108/0 1327 Dec 8 10:08 1992 Life/Tests/schedule2.lf rw-r--r-- 1108/0 705 Dec 8 10:08 1992 Life/Tests/school.lf rw-r--r-- 1108/0 20 Dec 8 10:08 1992 Life/Tests/self.lf rw-r--r-- 1108/0 949 Dec 8 10:08 1992 Life/Tests/share.lf rw-r--r-- 1108/0 144 Dec 8 10:08 1992 Life/Tests/simp_eqn.lf rw-r--r-- 1108/0 10083 Dec 8 10:08 1992 Life/Tests/smalltwente.lf rw-r--r-- 1108/0 1558 Dec 8 10:08 1992 Life/Tests/smm.lf rw-r--r-- 1108/0 719 Dec 8 10:08 1992 Life/Tests/soap.lf rw-r--r-- 1108/0 218 Dec 8 10:08 1992 Life/Tests/sortcycle1.lf rw-r--r-- 1108/0 253 Dec 8 10:08 1992 Life/Tests/sortcycle2.lf rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/sortcycle3.lf rw-r--r-- 1108/0 218 Dec 8 10:08 1992 Life/Tests/sortcycle4.lf rw-r--r-- 1108/0 253 Dec 8 10:08 1992 Life/Tests/sortcycle5.lf rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/str.lf rw-r--r-- 1108/0 11 Dec 8 10:08 1992 Life/Tests/str2psi.lf rw-r--r-- 1108/0 512 Dec 8 10:08 1992 Life/Tests/subs.lf rw-r--r-- 1108/0 140 Dec 8 10:08 1992 Life/Tests/strbug.lf rw-r--r-- 1108/0 832 Dec 8 10:08 1992 Life/Tests/streams.lf rw-r--r-- 1108/0 1278 Dec 8 10:08 1992 Life/Tests/subsort.lf rw-r--r-- 1108/0 796 Dec 8 10:08 1992 Life/Tests/t3201.lf rw-r--r-- 1108/0 174 Dec 8 10:08 1992 Life/Tests/t3202.lf rw-r--r-- 1108/0 81 Dec 8 10:08 1992 Life/Tests/t3203.lf rw-r--r-- 1108/0 151 Dec 8 10:08 1992 Life/Tests/t3204.lf rw-r--r-- 1108/0 287 Dec 8 10:08 1992 Life/Tests/t3205.lf rw-r--r-- 1108/0 876 Dec 8 10:08 1992 Life/Tests/t3206.lf rw-r--r-- 1108/0 1200 Dec 8 10:08 1992 Life/Tests/t3207.lf rw-r--r-- 1108/0 57 Dec 8 10:08 1992 Life/Tests/t4105.lf rw-r--r-- 1108/0 72 Dec 8 10:08 1992 Life/Tests/t4202.lf rw-r--r-- 1108/0 20 Dec 8 10:08 1992 Life/Tests/t4502.lf rw-r--r-- 1108/0 143 Dec 8 10:08 1992 Life/Tests/t4505.lf rw-r--r-- 1108/0 170 Dec 8 10:08 1992 Life/Tests/t8101.lf rw-r--r-- 1108/0 121 Dec 8 10:08 1992 Life/Tests/t8102.lf rw-r--r-- 1108/0 116 Dec 8 10:08 1992 Life/Tests/t8103.lf rw-r--r-- 1108/0 551 Dec 8 10:08 1992 Life/Tests/t8104.lf rw-r--r-- 1108/0 26 Dec 8 10:08 1992 Life/Tests/t8105.lf rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/tan.lf rw-r--r-- 1108/0 504 Dec 8 10:08 1992 Life/Tests/test00.lf rw-r--r-- 1108/0 100 Dec 8 10:08 1992 Life/Tests/test03.lf rw-r--r-- 1108/0 1137 Dec 8 10:08 1992 Life/Tests/test04.lf rw-r--r-- 1108/0 307 Dec 8 10:08 1992 Life/Tests/titi.lf rw-r--r-- 1108/0 1495 Dec 8 10:08 1992 Life/Tests/tri_ins.lf rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/tripeq.lf rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/unify.lf rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/varlevel.lf rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/varlevel2.lf rw-r--r-- 1108/0 2180 Dec 8 10:08 1992 Life/Tests/wam.lf rw-r--r-- 1108/0 7809 Dec 8 10:08 1992 Life/Tests/wambruno.lf rw-r--r-- 1108/0 925 Dec 8 10:08 1992 Life/Tests/wlife.lf rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/write.lf rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/writeq.lf rw-r--r-- 1108/0 7274 Dec 8 10:08 1992 Life/Tests/z_comb.lf rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/z_cut2.lf rw-r--r-- 1108/0 932 Dec 8 10:08 1992 Life/Tests/z_gcsimp.lf rw-r--r-- 1108/0 9678 Dec 8 10:08 1992 Life/Tests/z_gctoken1.lf rw-r--r-- 1108/0 9748 Dec 8 10:08 1992 Life/Tests/z_gctoken2.lf rw-r--r-- 1108/0 293 Dec 8 10:08 1992 Life/Tests/z_maurice.lf rw-r--r-- 1108/0 0 Dec 8 10:08 1992 Life/Tests/z_nestdepth.lf rw-r--r-- 1108/0 767 Dec 8 10:08 1992 Life/Tests/z_power_4.lf rw-r--r-- 1108/0 502 Dec 8 10:08 1992 Life/Tests/z_pyth_gc.lf rw-r--r-- 1108/0 6505 Dec 8 10:08 1992 Life/Tests/ERROR.out rw-r--r-- 1108/0 1843 Dec 8 10:08 1992 Life/Tests/addtab.out rw-r--r-- 1108/0 2896 Dec 8 10:08 1992 Life/Tests/anyorder.out rw-r--r-- 1108/0 295 Dec 8 10:08 1992 Life/Tests/apply.out rw-r--r-- 1108/0 2000 Dec 8 10:08 1992 Life/Tests/arith1.out rw-r--r-- 1108/0 271 Dec 8 10:08 1992 Life/Tests/arith2.out rw-r--r-- 1108/0 343 Dec 8 10:08 1992 Life/Tests/arith3.out rw-r--r-- 1108/0 428 Dec 8 10:08 1992 Life/Tests/arith4.out rw-r--r-- 1108/0 243 Dec 8 10:08 1992 Life/Tests/arith5.out rw-r--r-- 1108/0 524 Dec 8 10:08 1992 Life/Tests/arith6.out rw-r--r-- 1108/0 540 Dec 8 10:08 1992 Life/Tests/arith7.out rw-r--r-- 1108/0 447 Dec 8 10:08 1992 Life/Tests/arith8.out rw-r--r-- 1108/0 182 Dec 8 10:08 1992 Life/Tests/arith9.out rw-r--r-- 1108/0 120 Dec 8 10:08 1992 Life/Tests/assert1.out rw-r--r-- 1108/0 1077 Dec 8 10:08 1992 Life/Tests/assert2.out rw-r--r-- 1108/0 1082 Dec 8 10:08 1992 Life/Tests/assert3.out rw-r--r-- 1108/0 695 Dec 8 10:08 1992 Life/Tests/assert4.out rw-r--r-- 1108/0 63 Dec 8 10:08 1992 Life/Tests/bagof1.out rw-r--r-- 1108/0 377 Dec 8 10:08 1992 Life/Tests/bagof2.out rw-r--r-- 1108/0 563 Dec 8 10:08 1992 Life/Tests/bagof3.out rw-r--r-- 1108/0 107 Dec 8 10:08 1992 Life/Tests/bagof4.out rw-r--r-- 1108/0 133 Dec 8 10:08 1992 Life/Tests/bagof5.out rw-r--r-- 1108/0 626 Dec 8 10:08 1992 Life/Tests/bigstr.out rw-r--r-- 1108/0 326 Dec 8 10:08 1992 Life/Tests/bk_assign.out rw-r--r-- 1108/0 1278 Dec 8 10:08 1992 Life/Tests/boites1.out rw-r--r-- 1108/0 1086 Dec 8 10:08 1992 Life/Tests/boites2.out rw-r--r-- 1108/0 2751 Dec 8 10:08 1992 Life/Tests/bruno_disj.out rw-r--r-- 1108/0 315 Dec 8 10:08 1992 Life/Tests/cb.out rw-r--r-- 1108/0 3428 Dec 8 10:08 1992 Life/Tests/chapla.out rw-r--r-- 1108/0 631 Dec 8 10:08 1992 Life/Tests/choice.out rw-r--r-- 1108/0 741 Dec 8 10:08 1992 Life/Tests/clause.out rw-r--r-- 1108/0 1029 Dec 8 10:08 1992 Life/Tests/colon.out rw-r--r-- 1108/0 490 Dec 8 10:08 1992 Life/Tests/compose.out rw-r--r-- 1108/0 173 Dec 8 10:08 1992 Life/Tests/constr.out rw-r--r-- 1108/0 856 Dec 8 10:08 1992 Life/Tests/copy1.out rw-r--r-- 1108/0 856 Dec 8 10:08 1992 Life/Tests/copy2.out rw-r--r-- 1108/0 856 Dec 8 10:08 1992 Life/Tests/copy3.out rw-r--r-- 1108/0 205 Dec 8 10:08 1992 Life/Tests/curry1.out rw-r--r-- 1108/0 846 Dec 8 10:08 1992 Life/Tests/curry2.out rw-r--r-- 1108/0 174 Dec 8 10:08 1992 Life/Tests/curry3.out rw-r--r-- 1108/0 1110 Dec 8 10:08 1992 Life/Tests/curry4.out rw-r--r-- 1108/0 535 Dec 8 10:08 1992 Life/Tests/curry5.out rw-r--r-- 1108/0 547 Dec 8 10:08 1992 Life/Tests/cut1.out rw-r--r-- 1108/0 106 Dec 8 10:08 1992 Life/Tests/cut2.out rw-r--r-- 1108/0 240 Dec 8 10:08 1992 Life/Tests/cut3.out rw-r--r-- 1108/0 647 Dec 8 10:08 1992 Life/Tests/cycles1.out rw-r--r-- 1108/0 687 Dec 8 10:08 1992 Life/Tests/cycles2.out rw-r--r-- 1108/0 94 Dec 8 10:08 1992 Life/Tests/decl.out rw-r--r-- 1108/0 210 Dec 8 10:08 1992 Life/Tests/delay.out rw-r--r-- 1108/0 148 Dec 8 10:08 1992 Life/Tests/dichotomy.out rw-r--r-- 1108/0 64 Dec 8 10:08 1992 Life/Tests/dict.out rw-r--r-- 1108/0 5883 Dec 8 10:08 1992 Life/Tests/disequality1.out rw-r--r-- 1108/0 365 Dec 8 10:08 1992 Life/Tests/disequality2.out rw-r--r-- 1108/0 2061 Dec 8 10:08 1992 Life/Tests/disequality3.out rw-r--r-- 1108/0 1420 Dec 8 10:08 1992 Life/Tests/disequality4.out rw-r--r-- 1108/0 1113 Dec 8 10:08 1992 Life/Tests/disequality5.out rw-r--r-- 1108/0 1420 Dec 8 10:08 1992 Life/Tests/disequality6.out rw-r--r-- 1108/0 280 Dec 8 10:08 1992 Life/Tests/disequality7.out rw-r--r-- 1108/0 2998 Dec 8 10:08 1992 Life/Tests/disequality8.out rw-r--r-- 1108/0 1554 Dec 8 10:08 1992 Life/Tests/disequality9.out rw-r--r-- 1108/0 552 Dec 8 10:08 1992 Life/Tests/disj1.out rw-r--r-- 1108/0 593 Dec 8 10:08 1992 Life/Tests/disj2.out rw-r--r-- 1108/0 47 Dec 8 10:08 1992 Life/Tests/disj3.out rw-r--r-- 1108/0 10861 Dec 8 10:08 1992 Life/Tests/glb.out rw-r--r-- 1108/0 153 Dec 8 10:08 1992 Life/Tests/disj4.out rw-r--r-- 1108/0 132 Dec 8 10:08 1992 Life/Tests/disj5.out rw-r--r-- 1108/0 55 Dec 8 10:08 1992 Life/Tests/disj6.out rw-r--r-- 1108/0 1229 Dec 8 10:08 1992 Life/Tests/dissolve.out rw-r--r-- 1108/0 265 Dec 8 10:08 1992 Life/Tests/dynstat.out rw-r--r-- 1108/0 83 Dec 8 10:08 1992 Life/Tests/eoftest.out rw-r--r-- 1108/0 2586 Dec 8 10:08 1992 Life/Tests/fact.out rw-r--r-- 1108/0 38 Dec 8 10:08 1992 Life/Tests/fail.out rw-r--r-- 1108/0 592 Dec 8 10:08 1992 Life/Tests/feature.out rw-r--r-- 1108/0 202 Dec 8 10:08 1992 Life/Tests/freeze1.out rw-r--r-- 1108/0 36 Dec 8 10:08 1992 Life/Tests/freeze2.out rw-r--r-- 1108/0 508 Dec 8 10:08 1992 Life/Tests/freeze3.out rw-r--r-- 1108/0 356 Dec 8 10:08 1992 Life/Tests/freeze4.out rw-r--r-- 1108/0 59 Dec 8 10:08 1992 Life/Tests/fusil.out rw-r--r-- 1108/0 602 Dec 8 10:08 1992 Life/Tests/function1.out rw-r--r-- 1108/0 106 Dec 8 10:08 1992 Life/Tests/function2.out rw-r--r-- 1108/0 11137 Dec 8 10:08 1992 Life/Tests/gauss.out rw-r--r-- 1108/0 609 Dec 8 10:08 1992 Life/Tests/gctest.out rw-r--r-- 1108/0 69 Dec 8 10:08 1992 Life/Tests/genint.out rw-r--r-- 1108/0 122 Dec 8 10:08 1992 Life/Tests/glblub.out rw-r--r-- 1108/0 4123 Dec 8 10:08 1992 Life/Tests/grammars.out rw-r--r-- 1108/0 139 Dec 8 10:08 1992 Life/Tests/hamming.out rw-r--r-- 1108/0 1195 Dec 8 10:08 1992 Life/Tests/hanoi.out rw-r--r-- 1108/0 66571 Dec 8 10:08 1992 Life/Tests/inherit.out rw-r--r-- 1108/0 14352 Dec 8 10:08 1992 Life/Tests/lub.out rw-r--r-- 1108/0 19182 Dec 8 10:08 1992 Life/Tests/intabs.out rw-r--r-- 1108/0 50 Dec 8 10:08 1992 Life/Tests/inttrace.out rw-r--r-- 1108/0 1269 Dec 8 10:08 1992 Life/Tests/isatest.out rw-r--r-- 1108/0 1074 Dec 8 10:08 1992 Life/Tests/junk.out rw-r--r-- 1108/0 97 Dec 8 10:08 1992 Life/Tests/lefun1.out rw-r--r-- 1108/0 37 Dec 8 10:08 1992 Life/Tests/lefun2.out rw-r--r-- 1108/0 643 Dec 8 10:08 1992 Life/Tests/list_bda.out rw-r--r-- 1108/0 6884 Dec 8 10:08 1992 Life/Tests/listing1.out rw-r--r-- 1108/0 139 Dec 8 10:08 1992 Life/Tests/listing2.out rw-r--r-- 1108/0 20 Dec 8 10:08 1992 Life/Tests/loadquery.out rw-r--r-- 1108/0 3125 Dec 8 10:08 1992 Life/Tests/long.out rw-r--r-- 1108/0 65321 Dec 8 10:08 1992 Life/Tests/longstr.out rw-r--r-- 1108/0 1429 Dec 8 10:08 1992 Life/Tests/loop.out rw-r--r-- 1108/0 3596 Dec 8 10:08 1992 Life/Tests/machine.out rw-r--r-- 1108/0 504 Dec 8 10:08 1992 Life/Tests/magic.out rw-r--r-- 1108/0 651 Dec 8 10:08 1992 Life/Tests/makestr.out rw-r--r-- 1108/0 386 Dec 8 10:08 1992 Life/Tests/mort.out rw-r--r-- 1108/0 1340 Dec 8 10:08 1992 Life/Tests/mresid.out rw-r--r-- 1108/0 28 Dec 8 10:08 1992 Life/Tests/nesting.out rw-r--r-- 1108/0 280 Dec 8 10:08 1992 Life/Tests/nicetest.out rw-r--r-- 1108/0 73 Dec 8 10:08 1992 Life/Tests/nonstrict1.out rw-r--r-- 1108/0 285 Dec 8 10:08 1992 Life/Tests/nonstrict2.out rw-r--r-- 1108/0 88 Dec 8 10:08 1992 Life/Tests/nonstrict3.out rw-r--r-- 1108/0 1187 Dec 8 10:08 1992 Life/Tests/op1.out rw-r--r-- 1108/0 250 Dec 8 10:08 1992 Life/Tests/nonstrict4.out rw-r--r-- 1108/0 376 Dec 8 10:08 1992 Life/Tests/nonstrict5.out rw-r--r-- 1108/0 263 Dec 8 10:08 1992 Life/Tests/numeric.out rw-r--r-- 1108/0 256 Dec 8 10:08 1992 Life/Tests/op2.out rw-r--r-- 1108/0 37 Dec 8 10:08 1992 Life/Tests/order.out rw-r--r-- 1108/0 241 Dec 8 10:08 1992 Life/Tests/parents.out rw-r--r-- 1108/0 760 Dec 8 10:08 1992 Life/Tests/parse.out rw-r--r-- 1108/0 79 Dec 8 10:08 1992 Life/Tests/part.out rw-r--r-- 1108/0 623 Dec 8 10:08 1992 Life/Tests/person1.out rw-r--r-- 1108/0 174 Dec 8 10:08 1992 Life/Tests/person2.out rw-r--r-- 1108/0 150 Dec 8 10:08 1992 Life/Tests/posint.out rw-r--r-- 1108/0 5546 Dec 8 10:08 1992 Life/Tests/preparser.out rw-r--r-- 1108/0 502 Dec 8 10:08 1992 Life/Tests/prime.out rw-r--r-- 1108/0 333 Dec 8 10:08 1992 Life/Tests/print1.out rw-r--r-- 1108/0 599 Dec 8 10:08 1992 Life/Tests/print2.out rw-r--r-- 1108/0 1263 Dec 8 10:08 1992 Life/Tests/print_depth1.out rw-r--r-- 1108/0 3101 Dec 8 10:08 1992 Life/Tests/print_depth2.out rw-r--r-- 1108/0 6328 Dec 8 10:08 1992 Life/Tests/printvar.out rw-r--r-- 1108/0 355 Dec 8 10:08 1992 Life/Tests/prove.out rw-r--r-- 1108/0 366 Dec 8 10:08 1992 Life/Tests/pyth.out rw-r--r-- 1108/0 320 Dec 8 10:08 1992 Life/Tests/qsort1.out rw-r--r-- 1108/0 84 Dec 8 10:08 1992 Life/Tests/qsort2.out rw-r--r-- 1108/0 202 Dec 8 10:08 1992 Life/Tests/query_decl.out rw-r--r-- 1108/0 110 Dec 8 10:08 1992 Life/Tests/resid1.out rw-r--r-- 1108/0 275 Dec 8 10:08 1992 Life/Tests/resid2.out rw-r--r-- 1108/0 76 Dec 8 10:08 1992 Life/Tests/retract1.out rw-r--r-- 1108/0 52 Dec 8 10:08 1992 Life/Tests/retract2.out rw-r--r-- 1108/0 52 Dec 8 10:08 1992 Life/Tests/retract3.out rw-r--r-- 1108/0 54 Dec 8 10:08 1992 Life/Tests/retract4.out rw-r--r-- 1108/0 140 Dec 8 10:08 1992 Life/Tests/retract5.out rw-r--r-- 1108/0 221 Dec 8 10:08 1992 Life/Tests/retract6.out rw-r--r-- 1108/0 470 Dec 8 10:08 1992 Life/Tests/retract7.out rw-r--r-- 1108/0 48 Dec 8 10:09 1992 Life/Tests/rootsort.out rw-r--r-- 1108/0 1435 Dec 8 10:09 1992 Life/Tests/schedule1.out rw-r--r-- 1108/0 1435 Dec 8 10:09 1992 Life/Tests/schedule2.out rw-r--r-- 1108/0 2138 Dec 8 10:09 1992 Life/Tests/school.out rw-r--r-- 1108/0 407 Dec 8 10:09 1992 Life/Tests/self.out rw-r--r-- 1108/0 3942 Dec 8 10:09 1992 Life/Tests/share.out rw-r--r-- 1108/0 223 Dec 8 10:09 1992 Life/Tests/simp_eqn.out rw-r--r-- 1108/0 29409 Dec 8 10:09 1992 Life/Tests/smalltwente.out rw-r--r-- 1108/0 102 Dec 8 10:09 1992 Life/Tests/smm.out rw-r--r-- 1108/0 343 Dec 8 10:09 1992 Life/Tests/soap.out rw-r--r-- 1108/0 264 Dec 8 10:09 1992 Life/Tests/sortcycle1.out rw-r--r-- 1108/0 3 Dec 8 10:09 1992 Life/Tests/sortcycle2.out rw-r--r-- 1108/0 273 Dec 8 10:09 1992 Life/Tests/sortcycle3.out rw-r--r-- 1108/0 264 Dec 8 10:09 1992 Life/Tests/sortcycle4.out rw-r--r-- 1108/0 3 Dec 8 10:09 1992 Life/Tests/sortcycle5.out rw-r--r-- 1108/0 965 Dec 8 10:09 1992 Life/Tests/str.out rw-r--r-- 1108/0 49 Dec 8 10:09 1992 Life/Tests/str2psi.out rw-r--r-- 1108/0 40 Dec 8 10:09 1992 Life/Tests/strbug.out rw-r--r-- 1108/0 1492 Dec 8 10:09 1992 Life/Tests/streams.out rw-r--r-- 1108/0 551 Dec 8 10:09 1992 Life/Tests/subs.out rw-r--r-- 1108/0 742 Dec 8 10:09 1992 Life/Tests/subsort.out rw-r--r-- 1108/0 1219 Dec 8 10:09 1992 Life/Tests/t3201.out rw-r--r-- 1108/0 296 Dec 8 10:09 1992 Life/Tests/t3202.out rw-r--r-- 1108/0 148 Dec 8 10:09 1992 Life/Tests/t3203.out rw-r--r-- 1108/0 196 Dec 8 10:09 1992 Life/Tests/t3204.out rw-r--r-- 1108/0 330 Dec 8 10:09 1992 Life/Tests/t3205.out rw-r--r-- 1108/0 111 Dec 8 10:09 1992 Life/Tests/t3206.out rw-r--r-- 1108/0 2707 Dec 8 10:09 1992 Life/Tests/t3207.out rw-r--r-- 1108/0 79 Dec 8 10:09 1992 Life/Tests/t4105.out rw-r--r-- 1108/0 45 Dec 8 10:09 1992 Life/Tests/t4202.out rw-r--r-- 1108/0 93 Dec 8 10:09 1992 Life/Tests/t4502.out rw-r--r-- 1108/0 37 Dec 8 10:09 1992 Life/Tests/t4505.out rw-r--r-- 1108/0 37 Dec 8 10:09 1992 Life/Tests/t8101.out rw-r--r-- 1108/0 36 Dec 8 10:09 1992 Life/Tests/t8102.out rw-r--r-- 1108/0 38 Dec 8 10:09 1992 Life/Tests/t8103.out rw-r--r-- 1108/0 284 Dec 8 10:09 1992 Life/Tests/t8104.out rw-r--r-- 1108/0 29 Dec 8 10:09 1992 Life/Tests/t8105.out rwxr-xr-x 1108/0 416 Dec 8 10:09 1992 Life/Tests/Test rwxr-xr-x 1108/0 301 Dec 8 10:09 1992 Life/Tests/Test_all rw-r--r-- 1108/0 745 Dec 8 10:09 1992 Life/Tests/tan.out rwxr-xr-x 1108/0 442 Dec 8 10:09 1992 Life/Tests/Test_all_loop rw-r--r-- 1108/0 470 Dec 8 10:09 1992 Life/Tests/test00.out rw-r--r-- 1108/0 8352 Dec 8 10:09 1992 Life/Tests/test03.out rw-r--r-- 1108/0 89 Dec 8 10:09 1992 Life/Tests/test04.out rw-r--r-- 1108/0 457 Dec 8 10:09 1992 Life/Tests/titi.out rw-r--r-- 1108/0 411 Dec 8 10:09 1992 Life/Tests/tri_ins.out rw-r--r-- 1108/0 321 Dec 8 10:09 1992 Life/Tests/tripeq.out rw-r--r-- 1108/0 1422 Dec 8 10:09 1992 Life/Tests/unify.out rw-r--r-- 1108/0 324 Dec 8 10:09 1992 Life/Tests/varlevel.out rw-r--r-- 1108/0 1146 Dec 8 10:09 1992 Life/Tests/varlevel2.out rw-r--r-- 1108/0 395 Dec 8 10:09 1992 Life/Tests/wam.out rw-r--r-- 1108/0 407 Dec 8 10:09 1992 Life/Tests/wambruno.out rw-r--r-- 1108/0 384 Dec 8 10:09 1992 Life/Tests/wlife.out rw-r--r-- 1108/0 1600 Dec 8 10:09 1992 Life/Tests/write.out rw-r--r-- 1108/0 943 Dec 8 10:09 1992 Life/Tests/writeq.out rw-r--r-- 1108/0 2829 Dec 8 10:09 1992 Life/Tests/z_comb.out rw-r--r-- 1108/0 2562 Dec 8 10:09 1992 Life/Tests/z_cut2.out rw-r--r-- 1108/0 64 Dec 8 10:09 1992 Life/Tests/z_gcsimp.out rw-r--r-- 1108/0 43 Dec 8 10:09 1992 Life/Tests/z_gctoken1.out rw-r--r-- 1108/0 912 Dec 8 10:09 1992 Life/Tests/z_gctoken2.out rw-r--r-- 1108/0 2830 Dec 8 10:09 1992 Life/Tests/z_maurice.out rw-r--r-- 1108/0 73 Dec 8 10:09 1992 Life/Tests/z_nestdepth.out rw-r--r-- 1108/0 35 Dec 8 10:09 1992 Life/Tests/z_power_4.out rw-r--r-- 1108/0 315 Dec 8 10:09 1992 Life/Tests/cb.ref rw-r--r-- 1108/0 366 Dec 8 10:09 1992 Life/Tests/z_pyth_gc.out rw-r--r-- 1108/0 6505 Dec 8 10:09 1992 Life/Tests/ERROR.ref rw-r--r-- 1108/0 1843 Dec 8 10:09 1992 Life/Tests/addtab.ref rw-r--r-- 1108/0 2896 Dec 8 10:09 1992 Life/Tests/anyorder.ref rw-r--r-- 1108/0 295 Dec 8 10:09 1992 Life/Tests/apply.ref rw-r--r-- 1108/0 2000 Dec 8 10:09 1992 Life/Tests/arith1.ref rw-r--r-- 1108/0 271 Dec 8 10:09 1992 Life/Tests/arith2.ref rw-r--r-- 1108/0 343 Dec 8 10:09 1992 Life/Tests/arith3.ref rw-r--r-- 1108/0 428 Dec 8 10:09 1992 Life/Tests/arith4.ref rw-r--r-- 1108/0 243 Dec 8 10:09 1992 Life/Tests/arith5.ref rw-r--r-- 1108/0 524 Dec 8 10:09 1992 Life/Tests/arith6.ref rw-r--r-- 1108/0 540 Dec 8 10:09 1992 Life/Tests/arith7.ref rw-r--r-- 1108/0 447 Dec 8 10:09 1992 Life/Tests/arith8.ref rw-r--r-- 1108/0 182 Dec 8 10:09 1992 Life/Tests/arith9.ref rw-r--r-- 1108/0 120 Dec 8 10:09 1992 Life/Tests/assert1.ref rw-r--r-- 1108/0 1077 Dec 8 10:09 1992 Life/Tests/assert2.ref rw-r--r-- 1108/0 1082 Dec 8 10:09 1992 Life/Tests/assert3.ref rw-r--r-- 1108/0 695 Dec 8 10:09 1992 Life/Tests/assert4.ref rw-r--r-- 1108/0 63 Dec 8 10:09 1992 Life/Tests/bagof1.ref rw-r--r-- 1108/0 377 Dec 8 10:09 1992 Life/Tests/bagof2.ref rw-r--r-- 1108/0 563 Dec 8 10:09 1992 Life/Tests/bagof3.ref rw-r--r-- 1108/0 107 Dec 8 10:09 1992 Life/Tests/bagof4.ref rw-r--r-- 1108/0 133 Dec 8 10:09 1992 Life/Tests/bagof5.ref rw-r--r-- 1108/0 626 Dec 8 10:09 1992 Life/Tests/bigstr.ref rw-r--r-- 1108/0 326 Dec 8 10:09 1992 Life/Tests/bk_assign.ref rw-r--r-- 1108/0 1278 Dec 8 10:09 1992 Life/Tests/boites1.ref rw-r--r-- 1108/0 1086 Dec 8 10:09 1992 Life/Tests/boites2.ref rw-r--r-- 1108/0 2751 Dec 8 10:09 1992 Life/Tests/bruno_disj.ref rw-r--r-- 1108/0 3428 Dec 8 10:09 1992 Life/Tests/chapla.ref rw-r--r-- 1108/0 631 Dec 8 10:09 1992 Life/Tests/choice.ref rw-r--r-- 1108/0 741 Dec 8 10:09 1992 Life/Tests/clause.ref rw-r--r-- 1108/0 1029 Dec 8 10:09 1992 Life/Tests/colon.ref rw-r--r-- 1108/0 490 Dec 8 10:09 1992 Life/Tests/compose.ref rw-r--r-- 1108/0 173 Dec 8 10:09 1992 Life/Tests/constr.ref rw-r--r-- 1108/0 856 Dec 8 10:09 1992 Life/Tests/copy1.ref rw-r--r-- 1108/0 856 Dec 8 10:09 1992 Life/Tests/copy2.ref rw-r--r-- 1108/0 856 Dec 8 10:09 1992 Life/Tests/copy3.ref rw-r--r-- 1108/0 205 Dec 8 10:09 1992 Life/Tests/curry1.ref rw-r--r-- 1108/0 846 Dec 8 10:09 1992 Life/Tests/curry2.ref rw-r--r-- 1108/0 174 Dec 8 10:09 1992 Life/Tests/curry3.ref rw-r--r-- 1108/0 1110 Dec 8 10:09 1992 Life/Tests/curry4.ref rw-r--r-- 1108/0 535 Dec 8 10:09 1992 Life/Tests/curry5.ref rw-r--r-- 1108/0 547 Dec 8 10:09 1992 Life/Tests/cut1.ref rw-r--r-- 1108/0 106 Dec 8 10:09 1992 Life/Tests/cut2.ref rw-r--r-- 1108/0 240 Dec 8 10:09 1992 Life/Tests/cut3.ref rw-r--r-- 1108/0 647 Dec 8 10:09 1992 Life/Tests/cycles1.ref rw-r--r-- 1108/0 687 Dec 8 10:09 1992 Life/Tests/cycles2.ref rw-r--r-- 1108/0 94 Dec 8 10:09 1992 Life/Tests/decl.ref rw-r--r-- 1108/0 210 Dec 8 10:09 1992 Life/Tests/delay.ref rw-r--r-- 1108/0 148 Dec 8 10:09 1992 Life/Tests/dichotomy.ref rw-r--r-- 1108/0 64 Dec 8 10:09 1992 Life/Tests/dict.ref rw-r--r-- 1108/0 5883 Dec 8 10:09 1992 Life/Tests/disequality1.ref rw-r--r-- 1108/0 365 Dec 8 10:09 1992 Life/Tests/disequality2.ref rw-r--r-- 1108/0 2061 Dec 8 10:09 1992 Life/Tests/disequality3.ref rw-r--r-- 1108/0 1420 Dec 8 10:09 1992 Life/Tests/disequality4.ref rw-r--r-- 1108/0 1113 Dec 8 10:09 1992 Life/Tests/disequality5.ref rw-r--r-- 1108/0 1420 Dec 8 10:09 1992 Life/Tests/disequality6.ref rw-r--r-- 1108/0 280 Dec 8 10:09 1992 Life/Tests/disequality7.ref rw-r--r-- 1108/0 2998 Dec 8 10:09 1992 Life/Tests/disequality8.ref rw-r--r-- 1108/0 1554 Dec 8 10:09 1992 Life/Tests/disequality9.ref rw-r--r-- 1108/0 552 Dec 8 10:09 1992 Life/Tests/disj1.ref rw-r--r-- 1108/0 593 Dec 8 10:09 1992 Life/Tests/disj2.ref rw-r--r-- 1108/0 47 Dec 8 10:09 1992 Life/Tests/disj3.ref rw-r--r-- 1108/0 153 Dec 8 10:09 1992 Life/Tests/disj4.ref rw-r--r-- 1108/0 132 Dec 8 10:09 1992 Life/Tests/disj5.ref rw-r--r-- 1108/0 55 Dec 8 10:09 1992 Life/Tests/disj6.ref rw-r--r-- 1108/0 1229 Dec 8 10:09 1992 Life/Tests/dissolve.ref rw-r--r-- 1108/0 265 Dec 8 10:09 1992 Life/Tests/dynstat.ref rw-r--r-- 1108/0 83 Dec 8 10:09 1992 Life/Tests/eoftest.ref rw-r--r-- 1108/0 2586 Dec 8 10:09 1992 Life/Tests/fact.ref rw-r--r-- 1108/0 38 Dec 8 10:09 1992 Life/Tests/fail.ref rw-r--r-- 1108/0 10861 Dec 8 10:09 1992 Life/Tests/glb.ref rw-r--r-- 1108/0 592 Dec 8 10:09 1992 Life/Tests/feature.ref rw-r--r-- 1108/0 202 Dec 8 10:09 1992 Life/Tests/freeze1.ref rw-r--r-- 1108/0 36 Dec 8 10:09 1992 Life/Tests/freeze2.ref rw-r--r-- 1108/0 508 Dec 8 10:09 1992 Life/Tests/freeze3.ref rw-r--r-- 1108/0 356 Dec 8 10:09 1992 Life/Tests/freeze4.ref rw-r--r-- 1108/0 602 Dec 8 10:09 1992 Life/Tests/function1.ref rw-r--r-- 1108/0 106 Dec 8 10:09 1992 Life/Tests/function2.ref rw-r--r-- 1108/0 59 Dec 8 10:09 1992 Life/Tests/fusil.ref rw-r--r-- 1108/0 11137 Dec 8 10:09 1992 Life/Tests/gauss.ref rw-r--r-- 1108/0 609 Dec 8 10:09 1992 Life/Tests/gctest.ref rw-r--r-- 1108/0 69 Dec 8 10:09 1992 Life/Tests/genint.ref rw-r--r-- 1108/0 122 Dec 8 10:09 1992 Life/Tests/glblub.ref rw-r--r-- 1108/0 4123 Dec 8 10:09 1992 Life/Tests/grammars.ref rw-r--r-- 1108/0 139 Dec 8 10:09 1992 Life/Tests/hamming.ref rw-r--r-- 1108/0 1195 Dec 8 10:09 1992 Life/Tests/hanoi.ref rw-r--r-- 1108/0 66571 Dec 8 10:09 1992 Life/Tests/inherit.ref rw-r--r-- 1108/0 19182 Dec 8 10:09 1992 Life/Tests/intabs.ref rw-r--r-- 1108/0 50 Dec 8 10:09 1992 Life/Tests/inttrace.ref rw-r--r-- 1108/0 1269 Dec 8 10:09 1992 Life/Tests/isatest.ref rw-r--r-- 1108/0 1074 Dec 8 10:09 1992 Life/Tests/junk.ref rw-r--r-- 1108/0 97 Dec 8 10:09 1992 Life/Tests/lefun1.ref rw-r--r-- 1108/0 37 Dec 8 10:09 1992 Life/Tests/lefun2.ref rw-r--r-- 1108/0 643 Dec 8 10:09 1992 Life/Tests/list_bda.ref rw-r--r-- 1108/0 6884 Dec 8 10:09 1992 Life/Tests/listing1.ref rw-r--r-- 1108/0 139 Dec 8 10:09 1992 Life/Tests/listing2.ref rw-r--r-- 1108/0 20 Dec 8 10:09 1992 Life/Tests/loadquery.ref rw-r--r-- 1108/0 3125 Dec 8 10:09 1992 Life/Tests/long.ref rw-r--r-- 1108/0 65321 Dec 8 10:09 1992 Life/Tests/longstr.ref rw-r--r-- 1108/0 1429 Dec 8 10:09 1992 Life/Tests/loop.ref rw-r--r-- 1108/0 14352 Dec 8 10:09 1992 Life/Tests/lub.ref rw-r--r-- 1108/0 3596 Dec 8 10:09 1992 Life/Tests/machine.ref rw-r--r-- 1108/0 504 Dec 8 10:09 1992 Life/Tests/magic.ref rw-r--r-- 1108/0 651 Dec 8 10:09 1992 Life/Tests/makestr.ref rw-r--r-- 1108/0 386 Dec 8 10:09 1992 Life/Tests/mort.ref rw-r--r-- 1108/0 1340 Dec 8 10:09 1992 Life/Tests/mresid.ref rw-r--r-- 1108/0 28 Dec 8 10:09 1992 Life/Tests/nesting.ref rw-r--r-- 1108/0 280 Dec 8 10:09 1992 Life/Tests/nicetest.ref rw-r--r-- 1108/0 73 Dec 8 10:09 1992 Life/Tests/nonstrict1.ref rw-r--r-- 1108/0 285 Dec 8 10:09 1992 Life/Tests/nonstrict2.ref rw-r--r-- 1108/0 88 Dec 8 10:09 1992 Life/Tests/nonstrict3.ref rw-r--r-- 1108/0 250 Dec 8 10:09 1992 Life/Tests/nonstrict4.ref rw-r--r-- 1108/0 376 Dec 8 10:09 1992 Life/Tests/nonstrict5.ref rw-r--r-- 1108/0 263 Dec 8 10:09 1992 Life/Tests/numeric.ref rw-r--r-- 1108/0 1187 Dec 8 10:09 1992 Life/Tests/op1.ref rw-r--r-- 1108/0 256 Dec 8 10:09 1992 Life/Tests/op2.ref rw-r--r-- 1108/0 37 Dec 8 10:09 1992 Life/Tests/order.ref rw-r--r-- 1108/0 241 Dec 8 10:09 1992 Life/Tests/parents.ref rw-r--r-- 1108/0 760 Dec 8 10:09 1992 Life/Tests/parse.ref rw-r--r-- 1108/0 79 Dec 8 10:09 1992 Life/Tests/part.ref rw-r--r-- 1108/0 623 Dec 8 10:09 1992 Life/Tests/person1.ref rw-r--r-- 1108/0 174 Dec 8 10:09 1992 Life/Tests/person2.ref rw-r--r-- 1108/0 150 Dec 8 10:09 1992 Life/Tests/posint.ref rw-r--r-- 1108/0 5546 Dec 8 10:09 1992 Life/Tests/preparser.ref rw-r--r-- 1108/0 502 Dec 8 10:09 1992 Life/Tests/prime.ref rw-r--r-- 1108/0 333 Dec 8 10:09 1992 Life/Tests/print1.ref rw-r--r-- 1108/0 599 Dec 8 10:09 1992 Life/Tests/print2.ref rw-r--r-- 1108/0 102 Dec 8 10:09 1992 Life/Tests/smm.ref rw-r--r-- 1108/0 1263 Dec 8 10:09 1992 Life/Tests/print_depth1.ref rw-r--r-- 1108/0 3101 Dec 8 10:09 1992 Life/Tests/print_depth2.ref rw-r--r-- 1108/0 6328 Dec 8 10:09 1992 Life/Tests/printvar.ref rw-r--r-- 1108/0 355 Dec 8 10:09 1992 Life/Tests/prove.ref rw-r--r-- 1108/0 366 Dec 8 10:09 1992 Life/Tests/pyth.ref rw-r--r-- 1108/0 320 Dec 8 10:09 1992 Life/Tests/qsort1.ref rw-r--r-- 1108/0 84 Dec 8 10:09 1992 Life/Tests/qsort2.ref rw-r--r-- 1108/0 202 Dec 8 10:09 1992 Life/Tests/query_decl.ref rw-r--r-- 1108/0 110 Dec 8 10:09 1992 Life/Tests/resid1.ref rw-r--r-- 1108/0 275 Dec 8 10:09 1992 Life/Tests/resid2.ref rw-r--r-- 1108/0 76 Dec 8 10:09 1992 Life/Tests/retract1.ref rw-r--r-- 1108/0 52 Dec 8 10:09 1992 Life/Tests/retract2.ref rw-r--r-- 1108/0 52 Dec 8 10:09 1992 Life/Tests/retract3.ref rw-r--r-- 1108/0 54 Dec 8 10:09 1992 Life/Tests/retract4.ref rw-r--r-- 1108/0 140 Dec 8 10:09 1992 Life/Tests/retract5.ref rw-r--r-- 1108/0 221 Dec 8 10:09 1992 Life/Tests/retract6.ref rw-r--r-- 1108/0 470 Dec 8 10:09 1992 Life/Tests/retract7.ref rw-r--r-- 1108/0 48 Dec 8 10:09 1992 Life/Tests/rootsort.ref rw-r--r-- 1108/0 1435 Dec 8 10:09 1992 Life/Tests/schedule1.ref rw-r--r-- 1108/0 1435 Dec 8 10:09 1992 Life/Tests/schedule2.ref rw-r--r-- 1108/0 2138 Dec 8 10:09 1992 Life/Tests/school.ref rw-r--r-- 1108/0 407 Dec 8 10:09 1992 Life/Tests/self.ref rw-r--r-- 1108/0 3942 Dec 8 10:09 1992 Life/Tests/share.ref rw-r--r-- 1108/0 223 Dec 8 10:09 1992 Life/Tests/simp_eqn.ref rw-r--r-- 1108/0 29409 Dec 8 10:09 1992 Life/Tests/smalltwente.ref rw-r--r-- 1108/0 343 Dec 8 10:09 1992 Life/Tests/soap.ref rw-r--r-- 1108/0 264 Dec 8 10:09 1992 Life/Tests/sortcycle1.ref rw-r--r-- 1108/0 3 Dec 8 10:09 1992 Life/Tests/sortcycle2.ref rw-r--r-- 1108/0 273 Dec 8 10:09 1992 Life/Tests/sortcycle3.ref rw-r--r-- 1108/0 264 Dec 8 10:09 1992 Life/Tests/sortcycle4.ref rw-r--r-- 1108/0 3 Dec 8 10:09 1992 Life/Tests/sortcycle5.ref rw-r--r-- 1108/0 965 Dec 8 10:09 1992 Life/Tests/str.ref rw-r--r-- 1108/0 49 Dec 8 10:09 1992 Life/Tests/str2psi.ref rw-r--r-- 1108/0 40 Dec 8 10:09 1992 Life/Tests/strbug.ref rw-r--r-- 1108/0 1492 Dec 8 10:09 1992 Life/Tests/streams.ref rw-r--r-- 1108/0 551 Dec 8 10:09 1992 Life/Tests/subs.ref rw-r--r-- 1108/0 742 Dec 8 10:09 1992 Life/Tests/subsort.ref rw-r--r-- 1108/0 1219 Dec 8 10:09 1992 Life/Tests/t3201.ref rw-r--r-- 1108/0 296 Dec 8 10:09 1992 Life/Tests/t3202.ref rw-r--r-- 1108/0 148 Dec 8 10:09 1992 Life/Tests/t3203.ref rw-r--r-- 1108/0 196 Dec 8 10:09 1992 Life/Tests/t3204.ref rw-r--r-- 1108/0 330 Dec 8 10:09 1992 Life/Tests/t3205.ref rw-r--r-- 1108/0 111 Dec 8 10:09 1992 Life/Tests/t3206.ref rw-r--r-- 1108/0 2707 Dec 8 10:09 1992 Life/Tests/t3207.ref rw-r--r-- 1108/0 79 Dec 8 10:09 1992 Life/Tests/t4105.ref rw-r--r-- 1108/0 45 Dec 8 10:09 1992 Life/Tests/t4202.ref rw-r--r-- 1108/0 93 Dec 8 10:09 1992 Life/Tests/t4502.ref rw-r--r-- 1108/0 37 Dec 8 10:09 1992 Life/Tests/t4505.ref rw-r--r-- 1108/0 37 Dec 8 10:09 1992 Life/Tests/t8101.ref rw-r--r-- 1108/0 36 Dec 8 10:09 1992 Life/Tests/t8102.ref rw-r--r-- 1108/0 38 Dec 8 10:09 1992 Life/Tests/t8103.ref rw-r--r-- 1108/0 284 Dec 8 10:09 1992 Life/Tests/t8104.ref rw-r--r-- 1108/0 29 Dec 8 10:09 1992 Life/Tests/t8105.ref rw-r--r-- 1108/0 745 Dec 8 10:09 1992 Life/Tests/tan.ref rw-r--r-- 1108/0 470 Dec 8 10:09 1992 Life/Tests/test00.ref rw-r--r-- 1108/0 8352 Dec 8 10:09 1992 Life/Tests/test03.ref rw-r--r-- 1108/0 89 Dec 8 10:09 1992 Life/Tests/test04.ref rw-r--r-- 1108/0 457 Dec 8 10:09 1992 Life/Tests/titi.ref rw-r--r-- 1108/0 411 Dec 8 10:09 1992 Life/Tests/tri_ins.ref rw-r--r-- 1108/0 321 Dec 8 10:09 1992 Life/Tests/tripeq.ref rw-r--r-- 1108/0 1422 Dec 8 10:09 1992 Life/Tests/unify.ref rw-r--r-- 1108/0 324 Dec 8 10:09 1992 Life/Tests/varlevel.ref rw-r--r-- 1108/0 395 Dec 8 10:09 1992 Life/Tests/wam.ref rw-r--r-- 1108/0 882 Dec 8 10:09 1992 Life/Tests/preparser.1 rw-r--r-- 1108/0 138 Dec 8 10:09 1992 Life/Tests/t3203.1 rw-r--r-- 1108/0 4375 Dec 8 10:09 1992 Life/Tests/z_gctoken2.1 rw-r--r-- 1108/0 81 Dec 8 10:09 1992 Life/Tests/preparser.2 rw-r--r-- 1108/0 266 Dec 8 10:09 1992 Life/Tests/error_msg.awk rwxr-xr-x 1108/0 22956 Dec 8 10:09 1992 Life/Tests/noblank rw-r--r-- 1108/0 147 Dec 8 10:09 1992 Life/Tests/noblank.c rw-r--r-- 1108/0 1146 Dec 8 10:09 1992 Life/Tests/varlevel2.ref rw-r--r-- 1108/0 407 Dec 8 10:09 1992 Life/Tests/wambruno.ref rw-r--r-- 1108/0 384 Dec 8 10:09 1992 Life/Tests/wlife.ref rw-r--r-- 1108/0 1600 Dec 8 10:09 1992 Life/Tests/write.ref rw-r--r-- 1108/0 943 Dec 8 10:09 1992 Life/Tests/writeq.ref rw-r--r-- 1108/0 2829 Dec 8 10:09 1992 Life/Tests/z_comb.ref rw-r--r-- 1108/0 2562 Dec 8 10:09 1992 Life/Tests/z_cut2.ref rw-r--r-- 1108/0 64 Dec 8 10:09 1992 Life/Tests/z_gcsimp.ref rw-r--r-- 1108/0 43 Dec 8 10:09 1992 Life/Tests/z_gctoken1.ref rw-r--r-- 1108/0 912 Dec 8 10:09 1992 Life/Tests/z_gctoken2.ref rw-r--r-- 1108/0 2830 Dec 8 10:09 1992 Life/Tests/z_maurice.ref rw-r--r-- 1108/0 73 Dec 8 10:09 1992 Life/Tests/z_nestdepth.ref rw-r--r-- 1108/0 35 Dec 8 10:09 1992 Life/Tests/z_power_4.ref rw-r--r-- 1108/0 366 Dec 8 10:09 1992 Life/Tests/z_pyth_gc.ref rw-r--r-- 1108/0 22871 Dec 8 10:09 1992 Life/bi_math.c rw-r--r-- 1108/0 12859 Dec 8 10:09 1992 Life/bi_sys.c rw-r--r-- 1108/0 14258 Dec 8 10:09 1992 Life/bi_type.c rw-r--r-- 1108/0 98677 Dec 8 10:09 1992 Life/built_ins.c rw-r--r-- 1108/0 1012 Dec 8 10:09 1992 Life/built_ins.h rw-r--r-- 1108/0 19083 Dec 8 10:09 1992 Life/copy.c rw-r--r-- 1108/0 722 Dec 8 10:09 1992 Life/copy.h rw-r--r-- 1108/0 8728 Dec 8 10:09 1992 Life/error.c rw-r--r-- 1108/0 1240 Dec 8 10:09 1992 Life/error.h rw-r--r-- 1108/0 17526 Dec 8 10:09 1992 Life/extern.h rw-r--r-- 1108/0 1806 Dec 8 10:09 1992 Life/info.c rw-r--r-- 1108/0 163 Dec 8 10:09 1992 Life/info.h rw-r--r-- 1108/0 2511 Dec 8 10:09 1992 Life/interrupt.c rw-r--r-- 1108/0 255 Dec 8 10:09 1992 Life/interrupt.h rw-r--r-- 1108/0 34892 Dec 8 10:09 1992 Life/lefun.c rw-r--r-- 1108/0 1748 Dec 8 10:09 1992 Life/lefun.h rw-r--r-- 1108/0 3803 Dec 8 10:09 1992 Life/life.c rw-r--r-- 1108/0 10511 Dec 8 10:09 1992 Life/list.c rw-r--r-- 1108/0 2162 Dec 8 10:09 1992 Life/list.h rw-r--r-- 1108/0 61158 Dec 8 10:09 1992 Life/login.c rw-r--r-- 1108/0 1049 Dec 8 10:09 1992 Life/login.h rw-r--r-- 1108/0 4735 Dec 8 10:09 1992 Life/lub.c rw-r--r-- 1108/0 32181 Dec 8 10:09 1992 Life/memory.c rw-r--r-- 1108/0 253 Dec 8 10:09 1992 Life/memory.h rw-r--r-- 1108/0 17312 Dec 8 10:09 1992 Life/parser.c rw-r--r-- 1108/0 273 Dec 8 10:09 1992 Life/parser.h rw-r--r-- 1108/0 32949 Dec 8 10:09 1992 Life/print.c rw-r--r-- 1108/0 983 Dec 8 10:09 1992 Life/print.h rw-r--r-- 1108/0 7147 Dec 8 10:09 1992 Life/raw.c rw-r--r-- 1108/0 178 Dec 8 10:09 1992 Life/raw.h rw-r--r-- 1108/0 929 Dec 8 10:09 1992 Life/templates.c rw-r--r-- 1108/0 2226 Dec 8 10:09 1992 Life/templates.h rw-r--r-- 1108/0 21842 Dec 8 10:09 1992 Life/token.c rw-r--r-- 1108/0 2065 Dec 8 10:09 1992 Life/token.h rw-r--r-- 1108/0 9254 Dec 8 10:09 1992 Life/trees.c rw-r--r-- 1108/0 553 Dec 8 10:09 1992 Life/trees.h rw-r--r-- 1108/0 37170 Dec 8 10:09 1992 Life/types.c rw-r--r-- 1108/0 796 Dec 8 10:09 1992 Life/types.h rw-r--r-- 1108/0 17611 Dec 8 10:09 1992 Life/xdisplaylist.c rw-r--r-- 1108/0 1740 Dec 8 10:09 1992 Life/xdisplaylist.h rw-r--r-- 1108/0 75560 Dec 8 10:09 1992 Life/xpred.c rw-r--r-- 1108/0 658 Dec 8 10:09 1992 Life/xpred.h rw-r--r-- 1108/0 9458 Dec 8 10:09 1992 Life/Makefile.rel rw-r--r-- 1108/0 8981 Dec 8 10:40 1992 Life/Makefile.pack rwxr-xr-x 1108/0 0 Dec 9 04:40 1992 Life/wild_life rwxr-xr-x 1108/0 0 Dec 9 04:40 1992 Life/wild_life.old rwxr-xr-x 1108/0 228 Dec 8 10:09 1992 Life/Clean.pack rw-r--r-- 1108/0 13341 Dec 8 10:09 1992 Life/.set_up_basis rw-r--r-- 1108/0 3102 Dec 8 10:09 1992 Life/wild_life.1 rw-r--r-- 1108/0 9458 Dec 9 04:40 1992 Life/Makefile rwxrwxr-x 1108/0 0 Dec 8 10:09 1992 Life/Documents/ rw-r--r-- 1108/0 291001 Dec 8 10:09 1992 Life/Documents/manual.ps rw-r--r-- 1108/0 210612 Dec 8 10:09 1992 Life/Documents/manual.dvi rw-r--r-- 1108/0 12892 Dec 9 04:32 1992 Life/README rwxrwxr-x 1108/0 0 Dec 8 10:09 1992 Life/Examples/ rw-r--r-- 1108/0 7451 Dec 8 10:09 1992 Life/Examples/boxes.lf rw-r--r-- 1108/0 991 Dec 8 10:09 1992 Life/Examples/happy.lf rw-r--r-- 1108/0 1403 Dec 8 10:09 1992 Life/Examples/inherit.lf rw-r--r-- 1108/0 775 Dec 8 10:09 1992 Life/Examples/school.lf rw-r--r-- 1108/0 839 Dec 8 10:09 1992 Life/Examples/lefun.lf rw-r--r-- 1108/0 4014 Dec 8 10:09 1992 Life/Examples/machine.lf rw-r--r-- 1108/0 15470 Dec 8 10:09 1992 Life/Examples/nl.lf rw-r--r-- 1108/0 1143 Dec 8 10:09 1992 Life/Examples/prime.lf rw------- 1108/0 640 Dec 8 10:09 1992 Life/Examples/xxxooo.lf rw-r--r-- 1108/0 789 Dec 8 10:09 1992 Life/Examples/soap.lf rw-r--r-- 1108/0 1002 Dec 8 10:09 1992 Life/Examples/solve.lf rwxr-xr-x 1108/0 0 Dec 8 10:09 1992 Life/Examples/Flowers/ rw-r--r-- 1108/0 3181 Dec 8 10:09 1992 Life/Examples/Flowers/flo_custom.lf rw-r--r-- 1108/0 16948 Dec 8 10:09 1992 Life/Examples/Flowers/flo_gram.lf rw-r--r-- 1108/0 3377 Dec 8 10:09 1992 Life/Examples/Flowers/flo_utils.lf rw-r--r-- 1108/0 15921 Dec 8 10:09 1992 Life/Examples/Flowers/flo_xtools.lf rw-r--r-- 1108/0 23360 Dec 8 10:09 1992 Life/Examples/Flowers/flowers.lf rw-r--r-- 1108/0 16 Dec 8 10:09 1992 Life/Examples/Flowers/.wild_life rw-r--r-- 1108/0 1944 Dec 8 10:09 1992 Life/Examples/magic.lf rw-r--r-- 1108/0 1066 Dec 8 10:09 1992 Life/Examples/hamming.c rw-r--r-- 1108/0 753 Dec 8 10:09 1992 Life/Examples/hamming.lf rw-r--r-- 1108/0 1363 Dec 8 10:09 1992 Life/Examples/dictionary.c rw-r--r-- 1108/0 816 Dec 8 10:09 1992 Life/Examples/dictionary.lf rw-r--r-- 1108/0 6387 Dec 8 10:09 1992 Life/Examples/queens.lf rw-r--r-- 1108/0 15546 Dec 8 10:09 1992 Life/Examples/gauss.lf rwxr-xr-x 1108/0 0 Dec 8 10:09 1992 Life/Examples/Parser/ rw-r--r-- 1108/0 5092 Dec 8 10:09 1992 Life/Examples/Parser/gram_translator.lf rw-r--r-- 1108/0 5028 Dec 8 10:09 1992 Life/Examples/Parser/loader.lf rw-r--r-- 1108/0 18539 Dec 8 10:09 1992 Life/Examples/Parser/parser.lf rw-r--r-- 1108/0 9590 Dec 8 10:09 1992 Life/Examples/Parser/tokenizer.lf rw-r--r-- 1108/0 3604 Dec 8 10:09 1992 Life/Examples/Parser/utils.lf rw-r--r-- 1108/0 14 Dec 8 10:09 1992 Life/Examples/Parser/.wild_life rw-r--r-- 1108/0 953 Dec 8 10:09 1992 Life/Examples/README rwxrwxr-x 1108/0 0 Dec 8 10:09 1992 Life/Examples/Schedule/ rw-r--r-- 1108/0 587 Dec 8 10:09 1992 Life/Examples/Schedule/schedule.in1 rw-r--r-- 1108/0 587 Dec 8 10:09 1992 Life/Examples/Schedule/schedule.in2 rw-r--r-- 1108/0 587 Dec 8 10:09 1992 Life/Examples/Schedule/schedule.in3 rw-r--r-- 1108/0 2162 Dec 8 10:09 1992 Life/Examples/Schedule/schedule.in4 rw-r--r-- 1108/0 1504 Dec 8 10:09 1992 Life/Examples/Schedule/schedule.lf rw-r--r-- 1108/0 600 Dec 8 10:09 1992 Life/Examples/Schedule/schedule.out rw-r--r-- 1108/0 1879 Dec 8 10:09 1992 Life/xconstants.lf rw-r--r-- 1108/0 2597 Dec 8 10:09 1992 Life/xdemo.lf rw-r--r-- 1108/0 3122 Dec 8 10:09 1992 Life/xfunctions.lf rw-r--r-- 1108/0 18165 Dec 8 10:09 1992 Life/xgetset.lf rw-r--r-- 1108/0 7649 Dec 8 10:09 1992 Life/xpred.lf rw-r--r-- 1108/0 9679 Dec 8 10:09 1992 Life/xtables.lf rw-r--r-- 1108/0 1340 Dec 8 10:09 1992 Life/life_icon rwxr-xr-x 1108/0 261 Dec 8 10:10 1992 Life/Clean.rel rwxr-xr-x 1108/0 247 Dec 8 10:10 1992 Life/Update rw-r--r-- 1108/0 2940 Dec 8 10:10 1992 Life/LICENSE