Released TPTP 6.1.0