Let us define generalized Franel numbers $f^{(m)}_n$ through recurrence relations: $f^{(1)}_n=1$ for all $n$, and $$f^{(m)}_n=\sum\limits_{k=0}^n\binom{n}{k}^3f^{(m-1)}_k.$$ In fact $$f^{(m)}_n=\sum\limits_{k_1,\ldots,k_m}\left(\frac{n!}{k_1!\cdots k_m!}\right)^3, \quad \quad \quad \quad \quad \quad \quad \quad (1)$$ where the sum is over all nonnegative $k_1,\ldots,k_m$, such that $k_1+\cdots+k_m=n$. $f^{(2)}_n$ are ordinary Franel numbers: $$f^{(2)}_n=\sum\limits_{k=0}^n\binom{n}{k}^3.$$ Numerical evidence suggests the following congruences (I have checked only for smal values of $n$, $m$ and $p$) $$f^{(m)}_n\equiv 0 \quad (\mathrm{mod}\;m)$$ and $$ \quad \quad \quad \quad \quad \quad f^{(m)}_p\equiv m \quad (\mathrm{mod}\;p^3)\quad \quad \quad \quad (2)$$ if $p$ is prime. How these congruences can be proved?

Note that (2) is a generalization of the Gary Detlefs conjecture (see http://oeis.org/A000172) $$ \quad \quad \quad \quad \quad \quad f^{(2)}_p\equiv 2 \quad (\mathrm{mod}\;p^3)\quad \quad \quad \quad (3)$$ if $p$ is prime. Was (3) ever proved?