#!/bin/sh
# \
exec tclsh "$0" "$@"

set TIME_start [clock seconds]





set filename initial
file delete {*}[glob -nocomplain *.w4 *.result]





set TIME_end [clock seconds]
set ComputingTime [expr $TIME_end - $TIME_start]
puts stderr "Total computing time is $ComputingTime seconds"
