Low-band QSE partner: an X-bar with death inside [alpha − eps, alpha] has an epsilon-close Y-partner above alpha with death at most alpha or epsilon-close to the tracked thread's death

Initializing...

Low-band QSE partner: an X-bar with death inside [alpha − eps, alpha] has an epsilon-close Y-partner above alpha with death at most alpha or epsilon-close to the tracked thread's death · Prove2Me