úÎ!Ñ‹)      !"#$%&'(Safe479_w"  !"   !)      !"#$%&'()*'simple-ltl-1.0.0-Fb9CmHs9o9MCVdA6TpcRenLTLResultFailureSuccessReason HitBottomRejected BothFailed LeftFailed RightFailedMachineStopDelayAsksteprunnegtopbottomacceptrejectandornextuntil weakUntilrelease strongReleaseimplies eventuallyalwaystruthtesteq$fFunctorMachine $fShowReason$fGenericReason$fNFDataReason $fShowResult$fGenericResult$fNFDataResult