Last-modified Size Name 11 Jan 2026 14:51:13 1024 ../ 11 Jan 2026 14:49:18 922 dnt0001.dat.enn 11 Jan 2026 14:49:18 20 dnt0001.dat.fqa 11 Jan 2026 14:49:18 20 dntbugs.dat.ltl 11 Jan 2026 14:49:19 16172 dntbugs.dat.obj 11 Jan 2026 14:49:21 16378 dntbugs.dat.qe2 11 Jan 2026 14:49:20 16105 dntbugs.dat.zfn