Practical computations with Automorphisms of F​2.

Submitted, 2026