examples /usr/lib/problemtools/
