.declarative_resolver.tex.swp declarative_resolver.aux declarative_resolver.log declarative_resolver.pdf