Min:
Max:
Min:
Max:
Min:
Max:
Min:
Max:
Min:
Max:
Min:
Max:
Min:
Max:
Min:
Max:
Min:
Max:
Min:
Max:
Min:
Max:
Min:
Max:
Min:
Max:
Min:
Max:
Min:
Max:
Min:
Max:
Min:
Max:
Min:
Max:
Min:
Max:
Min:
Max:
Min:
Max:
Min:
Max:
Min:
Max:
Min:
Max:
Min:
Max:
Min:
Max:
Min:
Max:
Min:
Max:
Min:
Max:
Min:
Max:
Min:
Max:
Min:
Max:
- with
LTL3