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