Apache/2.4.41 (Ubuntu) Server at web.ma.utexas.edu Port 443Name Last modified Size Description
Parent Directory -
run 2000-03-23 15:45 200
INDEX 2000-03-23 15:44 457
alpha.log 2000-03-23 15:44 1.5K
proof.f 2000-03-23 15:45 62K
fpoint.lm 2000-03-23 15:44 2.1M
fpoint.lp 2000-03-23 15:45 2.1M