PDB Full entry for 3LTL