/gnu/store/ilwnzgsba6rar9jrk1gn2572z1sx672m-texlive-tetex-51265.drv