Last-modified Size Name 29 Jan 2026 18:30:03 1024 ../ 29 Jan 2026 18:26:49 922 dnt0001.dat.enn 29 Jan 2026 18:26:49 20 dnt0001.dat.fqa 29 Jan 2026 18:26:49 18516 dntbugs.dat.2vs 29 Jan 2026 18:26:49 20 dntbugs.dat.6ds 29 Jan 2026 18:26:50 20063 dntbugs.dat.ltl 29 Jan 2026 18:26:51 20224 dntbugs.dat.obj 29 Jan 2026 18:26:52 20200 dntbugs.dat.zfn