Invalidated sessions:
A
C
F
L1 (resolvable session)
L2 (resolvable session)
