cis607/ cis624/ cis631/ courses.html cis610/ cis629/ cis650/ tmp/ cis621/ cis630/ cis671/ x ./cis607: a1.aux* a1.old* a1.tex~* fig1.fig* ko.fig a1.dvi* a1.ps* f1.fig fig1.pic ko.pic a1.log* a1.tex* f1.pic k1.pic ref.tex ./cis610: cis610.html easy@ procsimity/ simcondor/ condorjob/ now/ quiz2 talk/ dag/ oregami/ refs/ ./cis610/condorjob: Makefile h1.c matt2.100.out proc1.out t2sgi.c a.out* lsf1.100.out matt2.50.out sim.sub test1.job con1.out lsfmat* out sim1.sub test1.out core m* out.100 stdout x h1* matt2.10.out proc1.job t2* ./cis610/dag: algos.html dagref.html figdag.gif polaris.gif background.jpg fig1.html heuristics.html problem.html dag.html fig1.html.backup model.html references.html dag.html~ fig1.html.html parallax.txt ./cis610/now: batch.html condor.html now.html ./cis610/oregami: README can_map/ db/ larcs/ routing/ ast/ canned_larcs/ dump.met pics/ bin/ contraction/ help/ placement/ ./cis610/oregami/ast: binary.larcs.ast nbody.larcs.ast inorder_binary.larcs.ast ring.larcs.ast mesh.larcs.ast xtree.larcs.ast ./cis610/oregami/bin: LaRCS* ogshell* simulator* xmetrics* ./cis610/oregami/can_map: binary_to_hcube* binomial_to_mesh_m1* ring_to_hcube* binary_to_hcube_cong2* binomial_to_mesh_m2* xtree_to_hcube* binomial_to_hcube* mesh_to_hcube* ./cis610/oregami/canned_larcs: binary.larcs mesh.larcs xtree.larcs dqbt.larcs mesh_with_comp.larcs inorder_binary.larcs ring.larcs ./cis610/oregami/contraction: gt_contract* random_contract* mwm_contract* random_seed_contract* ./cis610/oregami/db: binary.larcs.db mesh.larcs.db ring.larcs.db inorder_binary.larcs.db nbody.larcs.db xtree.larcs.db ./cis610/oregami/help: about.hlp can_map.hlp open.hlp placement.hlp arch.hlp contract.hlp open.hlp~ route.hlp ./cis610/oregami/larcs: binary.larcs inorder_binary.larcs mesh_with_comp.larcs dqbt.larcs matmul.larcs mg.larcs five_op.larcs mesh.larcs nbody.larcs hyp3even.larcs mesh2d.larcs ring.larcs hyp3ran.larcs mesh3d.larcs xtree.larcs ./cis610/oregami/pics: bt-hy-nocan.gif bt-hy1.gif f1.ps ring-hyp5d.ps bt-hy-nocan.ps bt-hy1.ps r-hyp5d-1.gif bt-hy-nocan2.gif bt-hy2.gif r-hyp5d-1.ps bt-hy-nocan2.ps bt-hy2.ps ring-hyp5d.gif ./cis610/oregami/placement: anneal_place* random_placement* nn_place* random_seed_placement* ./cis610/oregami/routing: block_bi_route* bp_route* xy_route* block_uni_route* ecube_route* ./cis610/procsimity: part2/ part3/ pics/ ./cis610/procsimity/part2: perf2.0.data perf2.plot sched-largest sched-lsd sched-ssd perf2.eps sched-fcfs sched-lcfs sched-scan ./cis610/procsimity/part3: f1.0.data f2.plot stoc-mbs/ trace.dat f1.eps sim-0.out stoc-pag/ trc-mbs/ f1.plot sim-5.out stochastic.prs workload.mesh f2.0.data sim.out test/ f2.eps stoc-frame/ trace-driven.prs ./cis610/procsimity/part3/stoc-frame: sim-0.out sim-1.out sim-3.out sim-4.out sim-5.out sim-8.out ./cis610/procsimity/part3/stoc-mbs: f1.0.data f2.eps f3.plot sim-0.out sim-4.out sim-8.out f1.eps f2.plot f4.0.data sim-1.out sim-5.out f1.plot f3.0.data f4.eps sim-2.out sim-6.out f2.0.data f3.eps f4.plot sim-3.out sim-7.out ./cis610/procsimity/part3/stoc-pag: sim-0.out sim-1.out sim-3.out sim-4.out sim-5.out sim-8.out ./cis610/procsimity/part3/test: ./cis610/procsimity/part3/trc-mbs: f1.0.data f2.1.data f3.0.data f3.eps t1.plot t3.0.data f1.eps f2.2.data f3.1.data f3.plot t2.0.data t3.eps f1.plot f2.eps f3.2.data t1.0.data t2.eps t3.plot f2.0.data f2.plot f3.3.data t1.eps t2.plot ./cis610/procsimity/pics: part1.1.gif part1.sysavg.buddy.gif part1.avg.mbs.gif part1.sysavg.mbs.gif ./cis610/refs: ref.mini references.txt ./cis610/simcondor: Imakefile ff.o main.c scanup.c Imakefile.sgi fs.c main.o scanup.h Makefile fs.o mbs.c scanup.o alloc_protos.h jens/ mbs.h sched_protos.h allocate.c jobmanager.c mbs.o sched_template.c allocate.h jobmanager.h merged.c schedule.c allocate.o jobmanager.o merged.o schedule.h arch.c knc_bose.c mytypes.h schedule.o arch.h knc_bose.o page.c sim* arch.o knc_buddy.c page.o simtypes.h bf.c knc_buddy.o queuing.c util.c bf.o knc_mbs.c queuing.h util.h doc/ knc_mbs.h queuing.o util.o doug/ knc_mbs.o route.c efence.c knc_page.c route.h ff.c knc_page.o route.o ./cis610/simcondor/doc: ./cis610/simcondor/doug: CQueue.C bf.o knc_mbs.h route.h CQueue.h common.h knc_mbs.o route.o Imakefile efence.c knc_page.c scanup.c Imakefile.sgi ff.c knc_page.o scanup.h Imakefile.solaris ff.o main.c scanup.o Makefile fs.c main.o sched_protos.h Makefile.bak fs.o mbs.c sched_template.c NodeType.h grapher* mbs.h schedule.c Scan.C grapher.c mbs.o schedule.h Scan.h grapher.o merged.c schedule.o alloc_protos.h jobmanager.c merged.o sim* allocate.c jobmanager.h mytypes.h simtypes.h allocate.h jobmanager.o page.c test/ allocate.o knc_bose.c page.o test2/ arch.c knc_bose.o queuing.c util.c arch.h knc_buddy.c queuing.h util.h arch.o knc_buddy.o queuing.o util.o bf.c knc_mbs.c route.c zhu.h ./cis610/simcondor/doug/test: SimVar.sh* SimVar.sh~* Test_Arch0_16x16_Alloc2_Sched4_Dist0_Ld0_400_600_10.stat Test_Arch0_16x16_Alloc2_Sched4_Dist0_Ld0_400_600_10.stat__Input.tmp Test_Arch0_16x16_Alloc2_Sched8_Dist0_Ld0_400_600_10.stat Test_Arch0_16x16_Alloc2_Sched8_Dist0_Ld0_400_600_10.stat__Input.tmp Test_Arch0_16x16_Dist0.log ./cis610/simcondor/doug/test2: SimVar.sh* SimVar.sh~* Test_Arch0_16x16_Alloc2_Sched4_Dist0_Ld0_400_600_10.stat Test_Arch0_16x16_Alloc2_Sched4_Dist0_Ld0_400_600_10.stat__Input.tmp Test_Arch0_16x16_Alloc2_Sched8_Dist0_Ld0_400_600_10.stat Test_Arch0_16x16_Alloc2_Sched8_Dist0_Ld0_400_600_10.stat__Input.tmp Test_Arch0_16x16_Dist0.log ./cis610/simcondor/jens: ./cis610/talk: Screen1.ps figdag.fmk parallax.fmk.html Screen2.xwd parallax.fmk condor.fmk parallax.fmk.backup ./cis621: h3/ ./cis621/h3: Makefile klw.c qs.c~ runtest5* back/ log1 qs.dec.klarge.c sgi/ data/ log2 qs.inc.c t1* decl.h log3 qs.o t1.c docs/ log4 runtest* t2* kl* log5 runtest.c t2.c kl.c m runtest2* kl.o qs* runtest3* klok.c qs.c runtest4* ./cis621/h3/back: kl.c ./cis621/h3/data: comp1.dat log1 old1.ps os5.dat qs5.dat comp2.dat log2 os1.dat os5qs5.ps comp5.dat log3 os1qs1.ps qs1.dat compall.dat log4 os2.dat qs1.dat~ gnucomds log5 os2qs2.ps qs2.dat ./cis621/h3/docs: Makefile a3.aux a3.dvi a3.log a3.ps a3.tex r1 ./cis621/h3/sgi: Makefile m qs.c t1* core qs* qs.inc.c t1.c ./cis624: Makefile a1.tex x1 ./cis629: maspar/ notes p1/ p2/ p3/ p4/ p5/ term ./cis629/maspar: ./cis629/p1: Makefile atlantix.dat100 mat.c t1.c a1.aux data mm.c template.tex a1.dvi datafile olddata typescript a1.log load oldt1.c a1.ps log runner.c a1.tex maj.dat st.c ./cis629/p2: Makefile a2.ps check list.cc spice.script a2.aux a2.tex data/ sep.cc str.cc a2.dvi cache.cc debug.cc sep.script t2.cc a2.log cache.h item.cc sim.cc traces/ ./cis629/p2/data: data.N128L32 data.N64L64 datacache.N64L16 instcache.N512L64 data.N256L16 datacache.N128L32 datacache.N64L64 instcache.N64L16 data.N512L64 datacache.N256L16 instcache.N128L32 instcache.N64L64 data.N64L16 datacache.N512L64 instcache.N256L16 sep.script ./cis629/p2/traces: ./cis629/p3: a1.aux a1.dvi a1.log a1.ps a1.tex ./cis629/p4: a1.aux a1ok.tex f2.pic fig11.pic fig22.pic m* a1.tex f1.pic fig1.pic fig2.pic fig33.pic ./cis629/p5: Makefile dash.tex mat.log t1* typescript Makefile~ f1.fig mat.ps t1.m x a.out f1.pic mat.tex t1.o x1 c1* la* mmm* t2.m xr dash.aux list mmm.m t2.o z dash.dvi m* mmm.m~ tmp/ z1 dash.log mat.aux multiply* transpose* dash.ps mat.dvi multiply.m transpose.m ./cis629/p5/tmp: Makefile f772Darray_to_mat.m oneDarray_to_vex.o cc2Darray_to_mat.m fe_to_mplabb* oneDarray_to_vey.m cc2Darray_to_mat.o fe_to_mplabb.c oneDarray_to_vey.o display.m fe_to_mplabb.o show.m display.o oneDarray_to_vex.m show.o ./cis630: docs/ pi/ proj/ ./cis630/docs: time ./cis630/pi: Makefile nproc one.ps pr1* rec.o README nproc.ps oneproc rec* typescript n.ps one.1 pr.c rec.c ./cis630/proj: ./cis631: cis631.html core/ docs/ proj/ ./cis631/core: lin/ s ./cis631/core/lin: Makefile defs_wor.h incl_wor.h m1.c mk.old r2.c data glob_mas.c lin m2 mkinp.c worker.c defs.h glob_wor.c linsolvm.c m2.c r1.c defs_mas.h incl_mas.h linsolvw.c master.c r2 ./cis631/docs: alg dd3.tex f2.fig proj/ proj_ok.tex b/ dummy.inc f2.pic proj.aux proposal.tex back/ dummy1.inc f2.ps proj.dvi x32 dd1.tex f1.fig m* proj.log z dd2.ok f1.pic oldp.tex proj.ps dd2.tex f1.ps p1.tex proj.tex ./cis631/docs/b: alg dummy.inc f2.pic proj.dvi x32 dd1.tex dummy1.inc m* proj.log z dd2.ok f1.fig oldp.tex proj.ps dd2.tex f1.pic p1.tex proj.tex dd3.tex f2.fig proj.aux proposal.tex ./cis631/docs/back: comp0-100.ps comp0-500.ps ./cis631/docs/proj: images.aux node14.html node26.html node38.html node5.html images.log node15.html node27.html node39.html node50.html images.pl node16.html node28.html node4.html node51.html images.tex node17.html node29.html node40.html node6.html img1.gif node18.html node3.html node41.html node7.html img2.gif node19.html node30.html node42.html node8.html img3.gif node2.html node31.html node43.html node9.html img4.gif node20.html node32.html node44.html proj.html node1.html node21.html node33.html node45.html proj.html~ node10.html node22.html node34.html node46.html node11.html node23.html node35.html node47.html node12.html node24.html node36.html node48.html node13.html node25.html node37.html node49.html ./cis631/proj: cl/ list/ sr/ test/ ./cis631/proj/cl: Makefile cl.cc cl2.cc libfarm.a worker.cc back/ cl1.cc farm.cc pvmfarm.h ./cis631/proj/cl/back: Makefile cl1.cc common.h libfarm.a t1.cc worker.cc cl.cc cl2.cc farm.cc pvmfarm.h t2.cc ./cis631/proj/list: Makefile app.cc list.cc list.h ./cis631/proj/sr: Makefile flist.cc init.cc pvmfarmd.cc wlist.h back/ flist.h mak.old server.cc work.cc debug.cc globe.cc plist.cc wclist.cc wplist.cc decl.h globe.h plist.h wclist.h wplist.h defs.h incl.h pvmfarmd* wlist.cc ./cis631/proj/sr/back: Makefile defs.h globe.h plist.cc wclist.h wplist.cc app.cc flist.cc incl.h plist.h wlist.cc wplist.h debug.cc flist.h init.cc server.cc wlist.h x decl.h globe.cc mak.old wclist.cc work.cc ./cis631/proj/test: Makefile m res0-100.script cases/ m0-100 res100-1024.script comp0-100.ps m100 results/ comp0-500.ps mat.h t compute.cc matf.cc t1.cc f0-100 matm.cc t2.cc f100 mats.cc z log100-500 matw.cc z1 ./cis631/proj/test/cases: log t01f* t02w.cc t04f.cc t05w0.cc t06w.cc t1.cc log1 t01f.cc t03f.cc t04w.cc t05w1.cc t07f.cc t2.cc t.o t02f.cc t03w.cc t05f.cc t06f.cc t07w.cc t3.cc ./cis631/proj/test/results: back/ f0-100 log100-500 comp0-100.ps f100 m0-100 comp0-500.ps final_timing0_100.matf m100 dataf.1024 final_timing0_100.matm res0-100.script datam.1024 log0-100 res100-1024.script ./cis631/proj/test/results/back: comp0-100.ps f100 m0-100 comp0-500.ps final_timing0_100.matf m100 dataf.1024 final_timing0_100.matm res0-100.script datam.1024 log0-100 res100-1024.script f0-100 log100-500 ./cis650: docs/ ex/ proj/ ./cis650/docs: anal* p2_sarch_daig.ps* msq.dec* p2_sys_diag.maker* p2_life_3.maker* p2_sys_diag.maker.backup* p2_life_3.ps* p2_sys_diag.ps* p2_sarch_daig.maker* proj.iss* ./cis650/ex: msg/ so/ ./cis650/ex/msg: cl/ sr/ ./cis650/ex/msg/cl: ./cis650/ex/msg/sr: ./cis650/ex/so: cl/ sr/ ./cis650/ex/so/cl: Makefile* cl.cc* cl.m* loop* mysh* cl* cl.k* inet.h* loop.c* x* ./cis650/ex/so/sr: Makefile* mk* sr* sr.cc* sr.o sr.old* ./cis650/proj: cl/ con/ lib/ mon/ rt/ sr/ tst/ uai/ ./cis650/proj/cl: Makefile libnq.a m_other other.cc* uai.cc* Trans loop m_visa rl.cc uai.h* c1.cc* m_c2 make_2 s1.cc* visa.cc* c2.cc* m_discover master.cc* s2.cc* discover.cc* m_master msgqconf* transactions ./cis650/proj/con: Makefile con* con.cc* con.o msgqconf ./cis650/proj/lib: Makefile msgqconf* s1.o t1.o uai.h* c1.cc* rl.cc shutdown.cc t2.cc* uai.o c1.o rl.o shutdown.o t2.o libnq.a s1.cc* t1.cc* uai.cc* ./cis650/proj/mon: Makefile mon.cc* mon.cc~* msgqconf ./cis650/proj/rt: Makefile* rtargs.cc* rtglobe.cc* rtmsg.h* todo README rtcomm.cc* rtglobe.h* rtsig.cc w back/ rtcomm.h* rtincl.h* rtstat.cc wl.cc ltest.cc rtconn.cc* rtlconn.cc rtstat.h x* nwl.cc rtconn.h* rtlconn.h rtutil.cc x1 old_rtdml.cc rtdecl.h* rtlog.cc rtwl.cc z1 r rtdefs.h* rtlog.h rtwl.h rt.cc* rtdml.cc rtmain.cc* t1 rt.h* rtdml.h rtmsg.cc* tmp/ ./cis650/proj/rt/back: Makefile* r rtdefs.h* rtlog.h rtwl.h README rt.cc* rtdml.cc rtmain.cc* t1 dml.cc rt.h* rtdml.h rtmsg.cc* todo log.dat rtargs.cc* rtglobe.cc* rtmsg.h* wl.cc ltest.cc rtcomm.cc* rtglobe.h* rtsig.cc x* ndml.cc rtcomm.h* rtincl.h* rtstat.cc x1 newdml.cc rtconn.cc* rtlconn.cc rtstat.h z1 nwl.cc rtconn.h* rtlconn.h rtutil.cc old_rtdml.cc rtdecl.h* rtlog.cc rtwl.cc ./cis650/proj/rt/tmp: conf t1* t1.cc t2* t2.cc ./cis650/proj/sr: ./cis650/proj/tst: Makefile* cl.cc* logger mysh* t1* x* back/ inet.h* loop.c* sr.cc* t1.cc x32 ./cis650/proj/tst/back: Makefile* inet.h* loop* mysh* t1.cc x32 cl.cc* logger loop.c* sr.cc* x* ./cis650/proj/uai: Makefile* cl.cc* inet.h* msgqconf uai.cc uai.o cl* cl.o libnet.a test.cc* uai.h ./cis671: g3talk.fmk h1/ p3/ pe* g3talk.fmk.backup p2/ p4/ scheme/ ./cis671/h1: Makefile atlantix.dat100 mat.c t1.c a1.aux data mm.c template.tex a1.dvi datafile olddata typescript a1.log load oldt1.c a1.ps log runner.c a1.tex maj.dat st.c ./cis671/p2: #order.sch# doc/ part3-v30.data 3sat-10clause-10var gensat.sch* part3.script 3sat-120clause-30var h1.sch* part4-v10.data 3sat-15clause-10var h2.sch part4-v10.data~ 3sat-20clause-10var h3.sch part4.script 3sat-20clause-20var hardproblem.sch* pb2.sch* 3sat-25clause-10var match.sch* prop2.sch 3sat-30clause-10var mattcsp-3sat.sch propagate.sch 3sat-30clause-30var mix.graph quicksort.sch 3sat-35clause-10var mix.plot score.sch 3sat-40clause-10var mix.plot~ sortls.sch 3sat-40clause-20var order.sch test.data* 3sat-60clause-20var outfile.scm test.data~ 3sat-60clause-30var outfile.scm~ test1.log 3sat-80clause-20var part1-v10.data test2.log 3sat-90clause-30var part1-v20.data testcase/ aimatch.sch* part1-v30.data testfile.scm back/ part1.graph testfile.scm~ cl.sch part1.plot var-prop.sch csp-3sat.sch* part1.script var-sel.sch* csp-3sat.sch~* part2-v30.data variable-selection.sch csp-prop.sch* part2-v30.data~ variables.sch csp-prop.sch~* part2.data variables.sch~ csp-prop_t.sch part2.script z1 ./cis671/p2/back: #order.sch# h1.sch* part3-v30.data 3sat-10clause-10var h2.sch part3.script 3sat-120clause-30var h3.sch pb2.sch* 3sat-15clause-10var hardproblem.sch* pb2.sch~* 3sat-20clause-10var match.sch* propagate.sch 3sat-20clause-20var mattcsp-3sat.sch quicksort.sch 3sat-25clause-10var mix.graph score.sch 3sat-30clause-10var mix.plot score.scm 3sat-30clause-30var mix.plot~ sortls.sch 3sat-35clause-10var order.sch sortls.sch~ 3sat-40clause-10var outfile.scm test1.log 3sat-40clause-20var outfile.scm~ test2.log 3sat-60clause-20var part1-v10.data testfile.scm 3sat-60clause-30var part1-v20.data testfile.scm~ 3sat-80clause-20var part1-v30.data var-prop.sch* 3sat-90clause-30var part1.graph var-sel.sch* aimatch.sch* part1.plot variable-selection.sch cl.sch part1.plot~ variables.sch csp-3sat.sch* part1.script variables.sch~ csp-3sat.sch~* part2-v30.data xxx.sch csp-prop.sch* part2-v30.data~ z1 csp-prop.sch~* part2.data gensat.sch* part2.script ./cis671/p2/doc: Makefile a1.aux a1.dvi a1.log a1.ps a1.tex ./cis671/p2/testcase: 3sat-10clause-10var 3sat-40clause-20var part1-v20.data 3sat-120clause-30var 3sat-60clause-20var part1-v30.data 3sat-20clause-10var 3sat-60clause-30var part1.graph 3sat-20clause-20var 3sat-80clause-20var part1.plot 3sat-30clause-10var 3sat-90clause-30var part1.script 3sat-30clause-30var outfile.scm 3sat-40clause-10var part1-v10.data ./cis671/p3: back/ kin.bil new-fact.sch rule-kinship.scm~* back1/ kin.sch* new-fact.sch~ rule.sch discussion kin.sch~* nl.sch rule.sch~ doc/ kin1.sch* nl.sch~ sam.script env.sch linear.sch nonlinear.sch sameer.script env.sch~ linear.sch~ nonlinear.script sat.script envsubst.scm linear.script old/ satisfy_test.sch f load.sch rl.sch satisfy_test.sch~ fam_data.sch match.sch rl.sch~ script.1*shell* final.script match.sch~ rl2.sch update.sch jwang.test monitor.sch rule-kinship.sch* update.sch~ k2.sch monitor.sch~ rule-kinship.sch~* z2 ./cis671/p3/back: #fam_data.sch# k1.sch new-fact.sch sam.script #final.script# kin.back new-fact.sch~ sameer.script #load.sch# kin.bil nl.sch satisfy_test.sch #sameer.script# kin.sch* nl.sch~ satisfy_test.sch~ discussion kin.sch~* rl.sch script.1*shell* env.sch kin1.sch* rl.sch~ test1.*shell* envsubst.scm linear.sch rl2.sch test1.script envsubst.scm~ linear.sch~ rule-kinship.sch* update.sch fam_data.sch load.sch rule-kinship.sch~* update.sch~ final.script match.sch* rule-kinship.scm~* z1.sch flist.sch match.sch~ rule.sch z2 jwang.test monitor.sch rule.sch~ z2.sch ./cis671/p3/back1: #fam_data.sch# kin.bil new-fact.sch rule.sch #final.script# kin.sch* new-fact.sch~ rule.sch~ #load.sch# kin.sch~* nl.sch sam.script #sameer.script# kin1.sch* nl.sch~ sameer.script discussion linear.sch rl.sch satisfy_test.sch env.sch linear.sch~ rl.sch~ script.1*shell* envsubst.scm load.sch rl2.sch update.sch fam_data.sch match.sch rule-kinship.sch* update.sch~ final.script match.sch~ rule-kinship.sch~* z2 jwang.test monitor.sch rule-kinship.scm~* ./cis671/p3/doc: Makefile a1.aux a1.dvi a1.log a1.ps a1.tex ./cis671/p3/old: monitor.sch satisfy_test.sch update.sch monitor.sch~ satisfy_test.sch~ ./cis671/p4: Family.sch hypo.sch rl.sch Matts/ hypo.scm rl.sch~ NewHypo.sch k2.sch rl2.sch Restrict.sch kb.sch rule-kinship.sch* back/ kin.bil rule-kinship.sch~* background.scm kin.sch* rule-kinship.scm~* choose-literal.sch kin.sch~* rule.sch db.sch kin1.sch* rule.sch~ discussion linear.sch sam.script diss4.aux linear.sch~ sameer.script diss4.dvi linear.script sat.script diss4.log load.sch satisfy4.sch diss4.ps match.sch satisfy_test.sch diss4.tex match.sch~ satisfy_test.sch~ diss4.tex~ monitor.sch script.1*shell* doc/ monitor.sch~ update.sch env.sch new-fact.sch update.sch~ env.sch~ new-fact.sch~ util.sch envsubst.scm new-literals.sch x1.script examples.sch nl.sch x2.sch f nl.sch~ x3.sch fam_data.sch nonlinear.sch x4.sch final.script nonlinear.script z2 general.script* rev.sch ./cis671/p4/Matts: Family.sch env.sch new-literals.sch NewHypo.sch examples.sch satisfy4.sch Restrict.sch hypo.sch choose-literal.sch match.sch ./cis671/p4/back: db.sch kin.sch~* nl.sch~ sameer.script discussion kin1.sch* nonlinear.sch sat.script env.sch linear.sch nonlinear.script satisfy_test.sch env.sch~ linear.sch~ rev.sch satisfy_test.sch~ envsubst.scm linear.script rl.sch script.1*shell* f load.sch rl.sch~ update.sch fam_data.sch match.sch rl2.sch update.sch~ final.script match.sch~ rule-kinship.sch* util.sch jwang.test monitor.sch rule-kinship.sch~* x1.script k2.sch monitor.sch~ rule-kinship.scm~* x2.sch kb.sch new-fact.sch rule.sch x3.sch kin.bil new-fact.sch~ rule.sch~ x4.sch kin.sch* nl.sch sam.script z2 ./cis671/p4/doc: Makefile a1.aux a1.dvi a1.log a1.ps a1.tex z1 ./cis671/scheme: #*merge*#a12489# f1.sch t1.sch* t4.sch~ #a1.scm# f1.sch~ t1.sch~* t5.sch a1.sch fact.sch t2.sch* t5.sch~ a1.sch~ fact.sch~ t2.sch~* test a1.scm~ final.sch t3.ok* try.sch a2.sch loadit.ss t3.sch aimatch.sch* mail.sch t3.sch~* back/ mail.sch~ t4.sch ./cis671/scheme/back: #*merge*#a12489# f1.sch mail.sch~ t3.sch~* #a1.scm# f1.sch~ t1.sch* t4.sch* a1.sch fact.sch t1.sch~* t4.sch~* a1.sch~ fact.sch~ t2.sch* t5.sch a1.scm~ final.sch t2.sch~* t5.sch~ a2.sch loadit.ss t3.ok* test aimatch.sch* mail.sch t3.sch* try.sch ./tmp: chorus/ pvm/ sr/ xpk/ ./tmp/chorus: README* chorus.ref* outside-europe-fees* chorus.faq* datasheets/ prod.readme* chorus.index* offerings* rep/ ./tmp/chorus/datasheets: README* ./tmp/chorus/rep: bib.doc index* sedFonts* z* ./tmp/pvm: index tech_faq ./tmp/sr: Makefile sr.aux sr.dvi sr.log sr.ps sr.tex sr.tex~ ./tmp/xpk: Imakefile g1.html screen.10 screen.9 userup MakeOut ghost1 screen.2 space wall Makefile ghost2 screen.3 t1.c xpacman.c Makefile.dist ghost3 screen.4 t1s.c xpacman.hdr apple orange screen.5 userdown cmask scores screen.6 usereat cursor screen.0 screen.7 userleft dot screen.1 screen.8 userright