//Thyme simulation of #1?THYME" File" (No" Extension):#
thyme #1.thy /-c
plotpress #1.plot
empress #1.press