TEXT 00lastchange TEXT amplexe.info TEXT changes TEXT fixlog HTML index.html DIR looping DIR models BIN models.tgz TEXT readme DIR solvers TEXT solvers.files BIN solvers.tgz BIN solvers2.tgz DIR student DIR tables TEXT tables.files BIN tables.tgz TEXT xsum0.out