Last-modified Size Name 12 Jan 2026 14:52:39 1024 ../ 12 Jan 2026 14:48:53 922 dnt0001.dat.enn 12 Jan 2026 14:48:53 20 dnt0001.dat.fqa 12 Jan 2026 14:48:53 20 dntbugs.dat.ltl 12 Jan 2026 14:48:53 16172 dntbugs.dat.obj 12 Jan 2026 14:48:55 16378 dntbugs.dat.qe2 12 Jan 2026 14:48:54 16105 dntbugs.dat.zfn