PDB Full entry for 4LTL