Script for creating problem lists from TPTP