%%HP: T(3)A(D)F(.); \<< R3 \>>