Howe duality for the dual pair SL₂ (R) F₄, ₁: a ping-pong of K-types | Synapse