%%HP: T(1)A(D)F(,);
(1;1)