tptp.ml 6.25 KB