LTL +-------- TCCTL | HLWCWCL -HFFPT ===== CTCFC -TCCTL ===== MPTLL -HFFPT ===== WHLW base: 8 letters: CFHLMPTW difficulty: intermediate restrictions: no multiplication