Last-modified Size Name 24 Dec 2025 14:51:35 1024 ../ 24 Dec 2025 14:48:58 922 dnt0001.dat.enn 24 Dec 2025 14:48:58 20 dnt0001.dat.fqa 24 Dec 2025 14:48:58 20 dntbugs.dat.ltl 24 Dec 2025 14:48:59 16172 dntbugs.dat.obj 24 Dec 2025 14:49:00 16378 dntbugs.dat.qe2 24 Dec 2025 14:48:59 16105 dntbugs.dat.zfn