TPTP-4.5.2.1-201008271412 TPTP-4.5.2.1-201008271432 TPTP-4.5.2.1-201008271519 TPTP-4.5.2.1-201008271639