new file:   run13.ql.nodup.ndeval