Last-modified Size Name 27 Jan 2026 14:52:18 1024 ../ 27 Jan 2026 14:48:34 922 dnt0001.dat.enn 27 Jan 2026 14:48:34 20 dnt0001.dat.fqa 27 Jan 2026 14:48:34 20 dntbugs.dat.2vs 27 Jan 2026 14:48:34 17526 dntbugs.dat.ltl 27 Jan 2026 14:48:35 17316 dntbugs.dat.obj 27 Jan 2026 14:48:36 17873 dntbugs.dat.zfn