100755 blob 19dd6a418cceb494c1a80f1f3effff3a83176221	procs.tcl
100755 blob 2bea19e1f2b77b0c587f1ddf5d5bed859bf9c39a	run_all.tcl
100755 blob 51cb1a22a5008ccb7413cee5f8ac511c28f8a18a	run_debug.tcl
100755 blob 58273c736ca9d0766208b04d893770e502455957	run_lec.tcl
100755 blob 4dc6ee435a7bd44a5ce22a5f8ad70040ca103bcf	run_single.tcl