Moved tptp4X to Apia.
Released TPTP 5.5.0.