tptp-0.1.2.0: Parser and pretty printer for the TPTP language