TVLA version 2-alpha (built on April 29 2003) Running TVM mode
Arguments: twolockqn -log twolockqn -path .;g:\tvla2 
Loading specification ... done
Reading TVS files ... done
