>>523 は >>485 >>487 ですた。

(k, m_k, n_k) = (0,0,0) (1,1,1) (2,6,8) (3,35,49) (4,204,288)
   (5,1189,1681) (6,6930,9800) (7,40391,57121) ・・・・