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