< newtst273.tst
< newtst472.tst
< tc293
< tc378
< ts578
< ts649
< ts694
< tst153
< tst184
< tst218
< tst71
< uslin.1286
< uslin.1355
< uslin.1907
< uslin.209
< uslin.325
< uslin.40
< uslin.475
< uslin.572
< uslin.994
../inputs/uslin.1008
../inputs/uslin.1082
../inputs/uslin.1105
../inputs/uslin.1340
../inputs/uslin.1402
../inputs/uslin.1513
../inputs/uslin.1632
../inputs/uslin.1682
../inputs/uslin.1741
../inputs/uslin.1844
../inputs/uslin.1853 
../inputs/uslin.1875
../inputs/uslin.284
../inputs/uslin.315
../inputs/uslin.453
../inputs/uslin.53
../inputs/uslin.549
../inputs/uslin.551
../inputs/uslin.612
../inputs/uslin.660
../inputs/uslin.688
../inputs/garbage/nothing
