jglmltfl
State
LTL
+4