On the conjugacy problem in Aut(F2) and related problems.

Submitted, 2026