< newtst402.tst
< newtst435.tst
< newtst72.tst
< tc25
< tc272
< test15
< test196
< test244
< test380
< test97
< ts607
< ts765
< tst100
< tst218
< tst269
< tst296
< uslin.1070
< uslin.1284
< uslin.1355
< uslin.1438
< uslin.1845
< uslin.1998
< uslin.4
< uslin.423
< uslin.449
< uslin.489
< uslin.574
< uslin.821
../inputs/jk29
../inputs/uslin.114
../inputs/uslin.119
../inputs/uslin.1255 
../inputs/uslin.1436
../inputs/uslin.1746
../inputs/uslin.1748
../inputs/uslin.285
../inputs/uslin.481
../inputs/uslin.724
../inputs/uslin.979
../inputs/garbage/nothing
